diff .hgignore @ 515:01c0fbd16025

docu update
author heinrichsweikamp
date Thu, 03 Aug 2017 16:31:16 +0200
parents 7d9edd3b8c86
children
line wrap: on
line diff