diff options
| author | sharkdp <davidpeter@web.de> | 2020-05-25 17:27:27 +0200 |
|---|---|---|
| committer | sharkdp <davidpeter@web.de> | 2020-05-25 17:27:27 +0200 |
| commit | 28af18ba27c2888bd87998e703228ab2c2debbed (patch) | |
| tree | 658a8a45b885596daa44e0bd9e8cac2c64ec71f6 /.gitignore | |
| parent | 8f1babf346e12279b3a52d24d047bf9bf4425e6e (diff) | |
Bump version to 0.15.2v0.15.2
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions