aboutsummaryrefslogtreecommitdiffhomepage
path: root/library
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2018-03-09 19:13:02 +0100
committerGravatar Maxime Dénès <mail@maximedenes.fr>2018-03-09 19:13:02 +0100
commit6ba4733a32812e04e831d081737c5665fb12a152 (patch)
tree748476471f01f68b6c48689167fb083db7f63397 /library
parentcbfec2b1a12d1ec93f536776778115e4dd79db16 (diff)
parent8fee0fdcb0e9021ee3427cffcba4e77c6a6e3bc9 (diff)
Merge PR #6953: [default.nix] Pin nixpkgs version to include Sphinx dependencies
Diffstat (limited to 'library')
0 files changed, 0 insertions, 0 deletions