Frederik Rietdijk eaae8b879c python: jupytext: 1.4.2 -> 1.5.2		2020-08-16 19:31:06 +02:00
..
default.nix	python: jupytext: 1.4.2 -> 1.5.2	2020-08-16 19:31:06 +02:00