mirror of
https://github.com/GnoConsortium/gno.git
synced 2025-01-18 08:30:42 +00:00
9416f9d55c
- add a file containing a list of man pages to ignore when building the html versions of the pages