chiark / gitweb /
~ian / secnet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
cleanup: turn off some unused flex options
[secnet.git] / debian / default
1 RUN_SECNET=no
Ian's personal secnet repo on chiark, for work-in-progress stuff etc.