diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-09 18:16:41 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-09 18:16:41 +0200 |
| commit | cff5a0dfa89ab3a7f95512382cedf88f8e1709d1 (patch) | |
| tree | d6b49f3a49d623fdac1042b6de280886f587e5a1 /test/scripts/try1.milch | |
| parent | 0ec99f0ddba6084df7c78ff905849a9d3d0a3c5b (diff) | |
Fix purity issue
Diffstat (limited to 'test/scripts/try1.milch')
0 files changed, 0 insertions, 0 deletions