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 /ci/.gitattributes | |
parent | 8f1babf346e12279b3a52d24d047bf9bf4425e6e (diff) |
Bump version to 0.15.2v0.15.2
Diffstat (limited to 'ci/.gitattributes')
0 files changed, 0 insertions, 0 deletions