Frederik Rietdijk e533bb7b97 python: nbsphinx: 0.5.1 -> 0.7.0		2020-06-11 10:00:02 +02:00
..
default.nix	python: nbsphinx: 0.5.1 -> 0.7.0	2020-06-11 10:00:02 +02:00