1
0
mirror of https://github.com/rkd77/elinks.git synced 2025-02-02 15:09:23 -05:00
Kalle Olavi Niemitalo 3f74f546c9 make update-man, like in elinks-0.12
I am marking this commit as a merge so that the differences in
generated files are less likely to cause conflicts in later merges.
2008-03-08 16:21:36 +02:00
..