]> www.ginac.de Git - ginac.git/blob - CVSROOT/config
Merge branch 'master' of git://ffmssmsc.jinr.ru:443/varg/ginac
[ginac.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