summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorIsmaël Bouya <ismael.bouya@normalesup.org>2020-04-25 00:03:52 +0200
committerIsmaël Bouya <ismael.bouya@normalesup.org>2020-04-25 00:05:00 +0200
commit9951b235a76800a572ea30793126b7dd8cdf3f0d (patch)
tree01c7bac0153c52d2b2055786173dda4936749a43 /docs
parent63fbfda29a0f1f1185f845ddea70fc81ae4a348c (diff)
downloadNUR-9951b235a76800a572ea30793126b7dd8cdf3f0d.tar.gz
NUR-9951b235a76800a572ea30793126b7dd8cdf3f0d.tar.zst
NUR-9951b235a76800a572ea30793126b7dd8cdf3f0d.zip
Use fetchgit rather than builtinsHEADmaster
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions