diff options
author | Christian Grothoff <christian@grothoff.org> | 2015-04-12 22:49:06 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2015-04-12 22:49:06 +0200 |
commit | 68774b20da5783ba795c4536989963bb2d5e8141 (patch) | |
tree | 6cf2bac546c26db3aba87abfbee7a8636b775008 /.gitmodules | |
parent | 5e8f95c65ed1958d384d107832b5ed2284968f7a (diff) |
fix for #3626: make it easier to add additional validators
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions