diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-02-12 21:09:37 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-02-12 21:09:37 +0000 |
commit | 5ac129169e5613eee1c9ee1e69ba34eb6ee69ee7 (patch) | |
tree | dc64e62c8b24989fa64e2733c3d6a262cb2448c8 /doc/README.org | |
parent | 6452ba3029054ef26fc12cde7e05861bd58fdacb (diff) | |
download | vericert-5ac129169e5613eee1c9ee1e69ba34eb6ee69ee7.tar.gz vericert-5ac129169e5613eee1c9ee1e69ba34eb6ee69ee7.zip |
Finish eval_predf_update_true
Diffstat (limited to 'doc/README.org')
0 files changed, 0 insertions, 0 deletions