diff options
| author | stuebinm | 2021-09-04 17:04:36 +0200 |
|---|---|---|
| committer | stuebinm | 2021-09-04 17:04:36 +0200 |
| commit | 2eebd7b354432ae564757a93c7b8c44150b58010 (patch) | |
| tree | 059c997d8a3b74c686a7ca86372bbd7dd27ce530 /isabelle-licence | |
| parent | 3d7cd5018144c4c7b3a95ae7a1953445f6b25fa7 (diff) | |
update readme
Diffstat (limited to 'isabelle-licence')
0 files changed, 0 insertions, 0 deletions