mirror of
https://github.com/rkd77/elinks.git
synced 2025-02-02 15:09:23 -05:00
The history converted from CVS is not in repo.or.cz though, so keep referring to pasky.or.cz for that. (We don't seem to use "gitweb.elinks.cz", which is a DNS alias for pasky.or.cz.) <paakku> Do you think we should maybe point people to gitweb at repo.or.cz rather than pasky.or.cz? <pasky> absolutely <pasky> actually I thought we already are pointing people at repo.or.cz <pasky> at least there was some movement to do that already, I believe :) [ From commit 9f75e1f094109ab10c473672484aa36bd4a01092 in ELinks 0.12.GIT. --KON ]