[Tile-serving] [openstreetmap/osm2pgsql] Rename "docs" directory to "man" (PR #2055)

[Jochen Topf]

@joto pushed 1 commit.

32df06e3104b544e2de60d08fa9803ae07bdd05e  Rename "docs" directory to "man"

-- 
View it on GitHub:
https://github.com/openstreetmap/osm2pgsql/pull/2055/files/b8a404c1a27e87aaa283459de71c4ef6d90bfb3d..32df06e3104b544e2de60d08fa9803ae07bdd05e
You are receiving this because you are subscribed to this thread.

Message ID: <openstreetmap/osm2pgsql/pull/2055/push/14865146761 at github.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openstreetmap.org/pipermail/tile-serving/attachments/20230830/c3cdb8c9/attachment.htm>