diff options
author | Guilhem Moulin <guilhem@debian.org> | 2022-02-27 16:54:38 +0100 |
---|---|---|
committer | Guilhem Moulin <guilhem@debian.org> | 2022-02-27 16:54:38 +0100 |
commit | 3656ac995b07c5cdeb881b88f371abf38cfb0bc4 (patch) | |
tree | 4365cb82a3fb51decc6a1e2547b0e755df31456c /.gitignore | |
parent | 1c596d75696e8342e9b489ba0bc7b5e7009fa90e (diff) | |
parent | 8ad5e5a218253a76eabf36bfd83f9e1a2a708377 (diff) |
Merge tag 'v0.5.7' into debian/latest
Release version 0.5.7
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -1,6 +1,4 @@ *~ *.bak -/doc/*.1 -/doc/*.html -!/doc/template.html +/build/ /.pc/ |