log .hgignore @ 435:556c8e2ff995

age author description
Sun, 16 Oct 2022 08:31:01 +0200 David Demelier misc: move tools/* in /
Sun, 09 Oct 2022 17:52:55 +0200 David Demelier misc: update INSTALL
Sun, 09 Oct 2022 13:58:05 +0200 David Demelier cmake: ditch
Sun, 09 Oct 2022 13:53:33 +0200 David Demelier misc: fix .hgignore too greedy