diff options
author | Markus Doits <markus.doits@stellenticket.de> | 2017-02-13 15:15:42 +0100 |
---|---|---|
committer | Markus Doits <markus.doits@stellenticket.de> | 2017-02-13 15:15:42 +0100 |
commit | 894ef1808298981a0394d46504d2bf5b43671949 (patch) | |
tree | 8c41512e2f82bca9ddd14b404afffb55b879f2a6 /.gitignore | |
parent | fa137a53f58bba5a12fd64ac388b4ee4b847d3fb (diff) | |
download | pronto-hlint-894ef1808298981a0394d46504d2bf5b43671949.tar.gz pronto-hlint-894ef1808298981a0394d46504d2bf5b43671949.tar.zst pronto-hlint-894ef1808298981a0394d46504d2bf5b43671949.zip |
new version (compatible with pronto 0.8), no changes
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions