diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-05 14:42:11 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-05 14:42:11 +0000 |
commit | 120edd54abf5155b9fc0f3396ee767a6995169e7 (patch) | |
tree | 0790cbb98e36bb19a6f19b7ca55a9ad738be8839 /dune | |
parent | b4d024615688e7d2ee59581e482afee303e79779 (diff) | |
download | vericert-120edd54abf5155b9fc0f3396ee767a6995169e7.tar.gz vericert-120edd54abf5155b9fc0f3396ee767a6995169e7.zip |
Remove small customisations from license text
Diffstat (limited to 'dune')
0 files changed, 0 insertions, 0 deletions