diff .hgignore @ 476:1092bab8b3f3

doc: update names following global renaming
author Goffi <goffi@goffi.org>
date Mon, 03 Jan 2022 16:45:55 +0100
parents d99047cd90f9
children
line wrap: on
line diff