diff options
| author | Florian Diebold <[email protected]> | 2021-04-08 19:18:51 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-04-08 21:48:47 +0100 |
| commit | 566200342a2bed328d3e73bbb8b8bbe6d49f255c (patch) | |
| tree | d342074035d183a4dca31e24a6de677510bae229 /.vscode/extensions.json | |
| parent | 15b0b55b4e73fb25d94dd9bcc49a2b4ed5156dc1 (diff) | |
Intern QuantifiedWhereClauses
Slight performance and memory usage improvement.
Diffstat (limited to '.vscode/extensions.json')
0 files changed, 0 insertions, 0 deletions