]> git.openstreetmap.org Git - nominatim.git/commitdiff
rename manual directory to man
authorSarah Hoffmann <lonvia@denofr.de>
Mon, 11 Oct 2021 20:23:38 +0000 (22:23 +0200)
committerSarah Hoffmann <lonvia@denofr.de>
Mon, 18 Oct 2021 07:03:07 +0000 (09:03 +0200)
Avoids confusion between 'docs' and 'manual'.


No differences found