diff options
author | MarcoFalke <falke.marco@gmail.com> | 2016-04-15 12:18:12 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-04-25 13:29:54 +0200 |
commit | f1544700703a442191ac1dfaae7f31b04ba7b12b (patch) | |
tree | 26bc59021cc362807571db33bc75e0a939d9ceba /doc | |
parent | 182bec427946d4ce951e8572130c903f0131447e (diff) |
[contrib] Remove reference to sf and add doc to verify.sh
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions