diff .hgignore @ 31089:9da8bb2974d7

maint: merge away extra head
author Rik <rik@octave.org>
date Fri, 10 Jun 2022 14:46:45 -0700
parents 6b2e5f8f306b
children 12871ccce2e3
line wrap: on
line diff