diff .hgignore @ 57:7a8311219f2f default tip

Version 1.3.
author Sjoerd Mullender <sjoerd@acm.org>
date Mon, 31 Oct 2022 16:18:43 +0100 (2022-10-31)
parents 39743674dd2a
children
line wrap: on
line diff