log .hgignore @ 195:975a3f0965e2

age author description
Wed, 25 Oct 2023 14:53:05 -0400 Paper dep/animia: update from upstream