aszlig 05a7cd17fc
nixos/taskserver: Rename .pki options
We're now using .pki.server.* and .pki.ca.* so that it's entirely clear
what these keys/certificates are for. For example we had just .pki.key
before, which doesn't really tell very much about what it's for except
if you look at the option description.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2016-04-11 13:33:48 +02:00
..
2016-01-07 06:39:06 +00:00
2016-04-01 02:45:11 -07:00
2016-01-07 06:39:06 +00:00
2016-02-13 15:03:09 +00:00
2015-12-06 13:35:21 +00:00