diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-03-09 19:13:02 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-09 19:13:02 +0100 |
commit | 6ba4733a32812e04e831d081737c5665fb12a152 (patch) | |
tree | 748476471f01f68b6c48689167fb083db7f63397 /library | |
parent | cbfec2b1a12d1ec93f536776778115e4dd79db16 (diff) | |
parent | 8fee0fdcb0e9021ee3427cffcba4e77c6a6e3bc9 (diff) |
Merge PR #6953: [default.nix] Pin nixpkgs version to include Sphinx dependencies
Diffstat (limited to 'library')
0 files changed, 0 insertions, 0 deletions