Patrick Hilhorst d2e6608aa5 sphinx: don't use capital for pname		2018-11-06 00:17:04 +01:00
..
default.nix	sphinx: don't use capital for pname	2018-11-06 00:17:04 +01:00