diff .hgignore @ 605:5ce603c29750

gas color coding fixed
author heinrichsweikamp
date Sun, 25 Nov 2018 13:21:52 +0100
parents 7d9edd3b8c86
children
line wrap: on
line diff