diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2019-07-12 09:18:45 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2019-07-12 09:18:45 +0200 |
| commit | ed7b90269a529d90d151969348e55347fae02c0d (patch) | |
| tree | 7c72e5a49112a844a53a2c10ef1fda47867aee92 /.gitignore | |
| parent | 6cac1738b6aebf75b29d225775030d291319f9a2 (diff) | |
| parent | 5c29b174a11e992dac68553f08645fe4a825c315 (diff) | |
Merge branch 'feature/upstream' into develop
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -21,12 +21,17 @@ Makefile.in *.lib *.exe *.exp +*.gcno +*.gcda +*.gcov *~ .libs/ .deps/ /build /onig-*.tar.gz m4/*.m4 +/coverage +/coverage.info # src/ /src/CaseFolding.txt |