diff options
| author | stuebinm | 2021-10-26 17:47:29 +0200 |
|---|---|---|
| committer | stuebinm | 2021-10-26 17:47:29 +0200 |
| commit | c6090f4b7fe238c34d4e15ceda0f1d9812a54276 (patch) | |
| tree | 7bfaab865be5803d2b6ad9435c7b1a0d6262170f /isabelle-proto/Cargo.toml | |
| parent | 5a021caf3ff516c110571bfb4485e833ba8b1d06 (diff) | |
slightly less hacky proof of concept
Diffstat (limited to 'isabelle-proto/Cargo.toml')
0 files changed, 0 insertions, 0 deletions