diff options
| author | Florian Dold <florian@dold.me> | 2023-06-05 18:01:32 +0200 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2023-06-05 18:01:32 +0200 |
| commit | bdb67c83a9d0244ba58e22f4811736722bbcb659 (patch) | |
| tree | b0c2c462db611931b48951cbd4723ed92ab5e3ee /contrib/articles/ui/figs/contract.pml | |
| parent | 9fca44893a6f7fcee5c828da5fc10e7d76592b5d (diff) | |
-fix import
Diffstat (limited to 'contrib/articles/ui/figs/contract.pml')
0 files changed, 0 insertions, 0 deletions