aszlig d6bd457d1f nixos/taskserver: Rename server.{host,port} ... Having an option called services.taskserver.server.host is quite confusing because we already have "server" in the service name, so let's first get rid of the listening options before we rename the rest of the options in that .server attribute. Signed-off-by: aszlig <aszlig@redmoonstudios.org>		2016-04-11 12:26:34 +02:00
..
default.nix	nixos/taskserver: Rename server.{host,port}	2016-04-11 12:26:34 +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