aszlig 6de94e7d24 nixos/taskserver: Rename .server options to .pki ... After moving out the PKI-unrelated options, let's name this a bit more appropriate, so we can finally get rid of the taskserver.server thing. This also moves taskserver.caCert to taskserver.pki.caCert, because that clearly belongs to the PKI options. Signed-off-by: aszlig <aszlig@redmoonstudios.org>		2016-04-11 12:38:16 +02:00
..
default.nix	nixos/taskserver: Rename .server options to .pki	2016-04-11 12:38:16 +02:00
doc.xml	nixos/taskserver: Add module documentation	2016-04-07 14:26:12 +02:00
helper-tool.py	nixos/taskserver: Rewrite helper-tool in Python	2016-04-11 12:02:52 +02:00