summaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2017-10-10 14:11:16 +0200
committerXavier Leroy <xavier.leroy@inria.fr>2017-10-10 14:11:16 +0200
commitd781d15e01df22a09fa2b900a8feea87d1351d39 (patch)
tree9297ef64745477f355312e5280df5aa08457d760 /.gitmodules
parent79bcc034c7ee591824ca4308fa9336658bf64442 (diff)
downloadocaml-execvpe.tar.gz
MPR#7640: update Changesexecvpe
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions