diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-06-29 16:55:34 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-29 16:55:34 +0100 |
commit | f57793552fe387fef22f6a77389de2556c0354a4 (patch) | |
tree | a77cfe556e4cd8a12fffa5dbe4617764b6137d44 /src/translation | |
parent | 8398615fea7ab754854cb10e16e86de6415f1f2d (diff) | |
parent | 9aa32499597678e3b0e7ef0b8a85ca5beda44938 (diff) | |
download | vericert-f57793552fe387fef22f6a77389de2556c0354a4.tar.gz vericert-f57793552fe387fef22f6a77389de2556c0354a4.zip |
Merge remote-tracking branch 'james/arrays-proof' into develop
Diffstat (limited to 'src/translation')
0 files changed, 0 insertions, 0 deletions