chiark / gitweb /
make-secnet-sites: Make the `pub' key name primary
[secnet.git] / debian / default
1 RUN_SECNET=no