log .hgignore @ 751:712ff6ff3c19

age author description
Wed, 22 May 2019 11:55:52 +0200 Benjamin Golinvaux - undo redo now works fine for both measure tool creation commands
Tue, 14 May 2019 18:39:50 +0200 Alain Mazy merge am-dev -> default