diff .hgignore @ 2330:3385a4bb62ef

Check setting disable_random_resource correctly
author franky
date Fri, 10 May 2019 00:17:20 +0200
parents d2111a776b66
children
line wrap: on
line diff