diff options
| author | Remi Collet <remi@remirepo.net> | 2018-05-25 07:47:28 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2018-05-25 07:47:28 +0200 |
| commit | 8b15b05e236b9117ebfef3624519046fcc2220c6 (patch) | |
| tree | a9ac45fbf578734d237bbe4d29dbc361ae4c75ef /.gitignore | |
| parent | 53019730ef99735a059daeadde3f896edb15cf96 (diff) | |
update to 0.7.7
drop workaround for PR merged upstream
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions