aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-10-26 21:13:25 +0200
committerSébastien Dailly <sebastien@chimrod.com>2021-10-26 21:17:45 +0200
commit6d498ac858306944c09718c329191631ece91ee5 (patch)
tree009c75ccb0be26e805ed2fcc6746b0f025f02083 /.gitignore
parentd43fd4449ce83814f85429b201e114db97c97535 (diff)
Removed ppx-args depHEADmaster
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions