summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2018-12-19 15:06:18 +0100
committerRemi Collet <remi@remirepo.net>2018-12-19 15:06:18 +0100
commit6589c5a8cf82708593c080156e6be1217a29d54c (patch)
treebc554efb11e9839ae6e4a3e75c26e23d4b3e395b /.gitignore
parente029f38f8dbb5b87911fd154c57d984cbeecbea0 (diff)
don't patch .re file to avoid dep on re2c
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions