diff options
author | Stéphane Glondu <glondu@debian.org> | 2019-09-12 09:17:11 +0200 |
---|---|---|
committer | Stéphane Glondu <glondu@debian.org> | 2019-09-12 09:17:11 +0200 |
commit | 2a92e49f0d785a2224e3ec3b90b8cab453f0311e (patch) | |
tree | 0303efac31c43829193c7c613089a1994d188936 /debian/patches/0003-Compile-with-ocamlnet-4.0.4.patch | |
parent | d9118632ae71657ab666bd5435d28992431c7fb0 (diff) |
Commit patch to update .gitignore
[dgit (9.7) update-gitignore-quilt-fixup]
Diffstat (limited to 'debian/patches/0003-Compile-with-ocamlnet-4.0.4.patch')
0 files changed, 0 insertions, 0 deletions