diff options
author | Antonio García-Domínguez <nyoescape@gmail.com> | 2018-06-23 20:12:06 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-23 20:12:06 +0100 |
commit | 7c6065145cf532bed84627890be227bfb2a298c8 (patch) | |
tree | d35de1f4f3244b3e8a728d7078dca88e152f99f3 /.gitignore | |
parent | 2ddbe5e06544be0a457bde9ff9b17582496af6f0 (diff) | |
parent | 74ac435253f86d7719b4e9a1524a7ddc9f0460ec (diff) |
Merge pull request #52 from nyov/master
Fix DIST version check
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions