diff options
| author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2022-06-24 10:02:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-24 10:02:40 +0200 |
| commit | f06b6fa4faa3283c28a01579d89ee4039d7ecc36 (patch) | |
| tree | c3b8f07f32728335114db462d34347d55104384a /mk/libraries.mk | |
| parent | 2ef6785d8e0c87d8b0cacbe2449683d9fd2e5844 (diff) | |
| parent | 983efdbde47bd0ecaff866d43c3155761574c112 (diff) | |
Merge pull request #6698 from tweag/forbid-tilde-paths-in-pure-mode
Forbid the tilde expansion in pure eval mode
Diffstat (limited to 'mk/libraries.mk')
0 files changed, 0 insertions, 0 deletions