diff options
| author | Théophane Hufschmitt <theophane.hufschmitt@tweag.io> | 2022-06-21 14:08:18 +0200 |
|---|---|---|
| committer | Théophane Hufschmitt <theophane.hufschmitt@tweag.io> | 2022-06-21 14:08:18 +0200 |
| commit | 983efdbde47bd0ecaff866d43c3155761574c112 (patch) | |
| tree | b79cb0cca633a2cedabbda938d0090cc9bbd35e7 /mk | |
| parent | 16c6c6c963e78aff1911054fe4145b891d8e9fc8 (diff) | |
Forbid the tilde expansion in pure eval mode
Fix #6684
Diffstat (limited to 'mk')
0 files changed, 0 insertions, 0 deletions