diff options
| author | Robert Hensing <robert@roberthensing.nl> | 2023-06-05 12:55:58 +0200 |
|---|---|---|
| committer | Robert Hensing <robert@roberthensing.nl> | 2023-06-30 18:22:47 +0200 |
| commit | dc79636007ff6982300980ba7eb1c2be3e45bece (patch) | |
| tree | 1178a402da3b5c04969f167e4e85c18f40770991 /doc/manual/src/release-notes/rl-0.7.md | |
| parent | 5bdca46117c701cd1cd47700c755367442537157 (diff) | |
fetchClosure: Refactor: replace enableRewriting
A single variable is nice and self-contained.
Diffstat (limited to 'doc/manual/src/release-notes/rl-0.7.md')
0 files changed, 0 insertions, 0 deletions