diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-04-28 00:15:19 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-04-28 00:15:19 +0200 |
| commit | 0573f8a4a007165fb12ace6fde75c974c7685431 (patch) | |
| tree | 7e00fc6f53149bd405522d02c8fde18b3d8997c0 /contrib/articles/ui/figs/contract.pml | |
| parent | 4c2048d5d41359c9a923ab769fb02a93996f2d2c (diff) | |
another typo
Diffstat (limited to 'contrib/articles/ui/figs/contract.pml')
0 files changed, 0 insertions, 0 deletions