aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorMarcoFalke <falke.marco@gmail.com>2016-04-15 12:18:12 +0200
committerWladimir J. van der Laan <laanwj@gmail.com>2016-04-25 13:29:54 +0200
commitf1544700703a442191ac1dfaae7f31b04ba7b12b (patch)
tree26bc59021cc362807571db33bc75e0a939d9ceba /doc
parent182bec427946d4ce951e8572130c903f0131447e (diff)
[contrib] Remove reference to sf and add doc to verify.sh
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions