diff options
| author | aszlig <aszlig@redmoonstudios.org> | 2016-04-11 12:38:16 +0200 |
|---|---|---|
| committer | aszlig <aszlig@redmoonstudios.org> | 2016-04-11 12:38:16 +0200 |
| commit | 6de94e7d2449eefccdb99100426759472e4b14a4 (patch) | |
| tree | cea54a4873c8479b8c4a2edc11adbe913b7b2b12 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | d6bd457d1f5514468a34c32e54076d0cf5a02122 (diff) | |
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>
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions