chiark / gitweb /
Makefile.in: Improve push rune in release checklist
[secnet] / debian / default
1 RUN_SECNET=no