diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2022-03-03 15:51:16 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2022-03-03 15:51:16 +0100 |
| commit | ae181ea92eb9f658773e586c3635decc7753daa2 (patch) | |
| tree | 11781a411dcead11e5929076fded5edb3d6cf671 /docs/reference/Extract.mmkin.html | |
| parent | 9dd9c6362575bc786cf0db7c0c7ea9176047a1dc (diff) | |
Skip a test that assigns to the global environment
Diffstat (limited to 'docs/reference/Extract.mmkin.html')
0 files changed, 0 insertions, 0 deletions