diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-06-13 16:11:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-13 16:11:46 +0200 |
| commit | 798efdf10bae6b2b31a6d37b089ee868f08b43ab (patch) | |
| tree | 6f247fe086912e2940faaeaca9498c403ec7d648 /COPYING | |
| parent | 2fef24f528769d7fedd3275873b59956b13257d1 (diff) | |
| parent | 159b5815b527f466578a2d28fbf832617cc45b88 (diff) | |
Merge pull request #6027 from Ma27/pure-repl
repl: `--option pure-eval true` actually enables pure eval mode
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions