src/init/hgadmin-hgrc
branchdebian
changeset 115 731a72b742db
parent 102 4603948da317
--- a/src/init/hgadmin-hgrc	Thu May 28 10:43:30 2009 +0100
+++ b/src/init/hgadmin-hgrc	Tue Oct 13 15:30:03 2009 +0100
@@ -1,6 +1,9 @@
 # WARNING: when these hooks run they will entirely destroy and rewrite
 # ~/.ssh/authorized_keys
 
+[extensions]
+hgext.purge =
+
 [hooks]
 changegroup.aaaab_update = hg update -C default > /dev/null
 changegroup.aaaac_purge = hg purge --all > /dev/null