From: Adam Chlipala Date: Thu, 14 Dec 2006 22:23:10 +0000 (+0000) Subject: Privilege setting code X-Git-Tag: release_2010-11-19~312 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/5ee41dd039e304ae374a5f1265e32839204f14ff?hp=5ee41dd039e304ae374a5f1265e32839204f14ff Privilege setting code ---