diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-10-18 16:20:25 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-10-18 16:20:25 +0100 |
| commit | ec4f412f64b93d0bda18cd0f766eb0bf0fb93450 (patch) | |
| tree | dff40dfd65a12ab07ca0899539e3ae4a130f9e44 /scripts/syn-remote.sh | |
| parent | f2df2bfc1451cfe8c96403ad02afb9ec6626d189 (diff) | |
| download | vericert-ec4f412f64b93d0bda18cd0f766eb0bf0fb93450.tar.gz vericert-ec4f412f64b93d0bda18cd0f766eb0bf0fb93450.zip | |
More work on proof
Diffstat (limited to 'scripts/syn-remote.sh')
0 files changed, 0 insertions, 0 deletions