diff options
author | Robbert Krebbers <mail@robbertkrebbers.nl> | 2017-11-15 00:05:02 +0100 |
---|---|---|
committer | Robbert Krebbers <mail@robbertkrebbers.nl> | 2017-11-15 00:05:02 +0100 |
commit | f4e46fdf6072727cbfdef42a6db77d5be05d027a (patch) | |
tree | 80ec6f66e3eb48fdba13e1bd31ba4c0d37184251 /vernac | |
parent | edc5d8f0c6128949521fa331e55cc67084951bfb (diff) |
Fix test-suite.
Diffstat (limited to 'vernac')
0 files changed, 0 insertions, 0 deletions