]> matita.cs.unibo.it Git - helm.git/blob - CVSROOT/config
cvs snapshot Tue, 26 Nov 2002 18:41:34 +0100
[helm.git] / CVSROOT / config
1 # Set this to "no" if pserver shouldn't check system users/passwords
2 #SystemAuth=no
3
4 # Set `PreservePermissions' to `yes' to save file status information
5 # in the repository.
6 #PreservePermissions=no
7
8 # Set `TopLevelAdmin' to `yes' to create a CVS directory at the top
9 # level of the new working directory when using the `cvs checkout'
10 # command.
11 #TopLevelAdmin=no