summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-05-04 19:30:55 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-05-04 19:30:55 +0200
commit7bd1941307033193da4c1cfcef873e69ca7f68f3 (patch)
tree6218cdf2fffda6e16b868a2aa9bfd89d595fbf1e /scripts
parent5d03351f22f2511e3f5159f19f54b21bf2a04d61 (diff)
sudo ?
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions