comparison .hgignore @ 138:2852b0bd6391

minor: some extra protection against wrong gas selection
author heinrichsweikamp
date Thu, 17 Jul 2014 14:34:10 +0200
parents c61b7a4e317c
children 653a3ab08062
comparison
equal deleted inserted replaced
137:28b057aa9f75 138:2852b0bd6391