diff options
author | 2024-01-03 18:38:22 +0100 | |
---|---|---|
committer | 2024-01-03 21:14:04 +0100 | |
commit | baa28c9d6b6562a54eee0ad726e22d1b8811751b (patch) | |
tree | 76daca5944872f0b21d6cef472c5cb0b393dff8b /subprojects/interpreter/src/main/java/tools | |
parent | refactor(web): subtler error predicate highlight (diff) | |
download | refinery-baa28c9d6b6562a54eee0ad726e22d1b8811751b.tar.gz refinery-baa28c9d6b6562a54eee0ad726e22d1b8811751b.tar.zst refinery-baa28c9d6b6562a54eee0ad726e22d1b8811751b.zip |
feat(web): toggle identifier coloring
Diffstat (limited to 'subprojects/interpreter/src/main/java/tools')
0 files changed, 0 insertions, 0 deletions