diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2020-12-09 10:52:55 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2020-12-09 10:52:55 +0100 |
| commit | 25fef221d589b5eebe32829633372d785e750d2a (patch) | |
| tree | 2afd5b929e7d6a12cee19bada564a7905129dea0 /inst | |
| parent | 107ddb89a4a6e0e15d9f82eafcf9eebecf4904ba (diff) | |
Test print method for mixed.mmkin
Diffstat (limited to 'inst')
0 files changed, 0 insertions, 0 deletions