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

Tue Sep 5 07:44:56 UTC 2023

@joto pushed 1 commit.

a29a086291a718a9c13940a246d30e9bbd298e98  Rename "docs" directory to "man"

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

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