Frederik Rietdijk 7560a6f753 python: Sphinx: 1.7.7 -> 1.7.8		2018-09-01 10:41:37 +02:00
..
default.nix	python: Sphinx: 1.7.7 -> 1.7.8	2018-09-01 10:41:37 +02:00