diff .hgignore @ 75:0508101db40f

get new-white working (on maritain only??
author Henry S Thompson <ht@inf.ed.ac.uk>
date Mon, 09 Jun 2025 13:40:01 +0100
parents 1ff8b5045b1f
children
line wrap: on
line diff