diff .hgignore @ 145:be924bc46ce0

bug in shrink_key.py fixed, 2024-30 index w. lastmod complete
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 09 Apr 2026 15:11:08 +0100
parents 77f215efe044
children
line wrap: on
line diff