diff options
author | MarcoFalke <falke.marco@gmail.com> | 2015-11-16 12:54:35 +0100 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2015-11-16 12:59:42 +0100 |
commit | a6d5a6502a3dce23679a9be9e4884a4f77110cd1 (patch) | |
tree | 20f90cdb99b06398f84da68f9135a448d3fafb55 /.gitignore | |
parent | 141c44ed6549acdc7f49fe039f017c020490ccf1 (diff) |
[trivial] contrib: Fix `echo`s in verify.sh
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions