diff .hgtags @ 2330:3385a4bb62ef

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