Title: Port .hgignore to .gitignore Author: rodarima Created: Sun, 17 Dec 2023 19:55:33 +0000 State: closed Fixes #16