Jan Tojnar ea6e8775bd nixos/doc: re-format		2019-09-18 22:13:35 +02:00
..
default.nix	nixos/taskserver: crl file is optional	2019-07-27 15:49:46 -07:00
doc.xml	nixos/doc: re-format	2019-09-18 22:13:35 +02:00
helper-tool.py	nixos/taskserver: Fix manual PKI management	2017-07-16 20:38:15 +02:00