diff options
| author | Remi Collet <remi@remirepo.net> | 2018-12-19 15:06:18 +0100 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2018-12-19 15:06:18 +0100 |
| commit | 6589c5a8cf82708593c080156e6be1217a29d54c (patch) | |
| tree | bc554efb11e9839ae6e4a3e75c26e23d4b3e395b /.gitignore | |
| parent | e029f38f8dbb5b87911fd154c57d984cbeecbea0 (diff) | |
don't patch .re file to avoid dep on re2c
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions