aboutsummaryrefslogtreecommitdiff
path: root/configure.ml
diff options
context:
space:
mode:
authorVincent Laporte2019-03-18 08:55:48 +0000
committerVincent Laporte2019-03-18 08:56:11 +0000
commit0c3aa2f4bbd0bb5124ff3cc95759cb7cb89caa6b (patch)
tree21f3242cb3dabf35ce446398988f11013286f8c4 /configure.ml
parentd7e7ec69c84db9c164dd546642ed0b638af766d3 (diff)
[nix] Update reference to nixpkgs
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions