diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2024-01-04 18:29:13 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-01-04 18:29:13 +0100 |
commit | 667045429b1d7fdc49d7ecae75b7673d7a2c240e (patch) | |
tree | 76daca5944872f0b21d6cef472c5cb0b393dff8b /gradle/libs.versions.toml | |
parent | Merge pull request #50 from kris7t/generator-roundtrip (diff) | |
parent | feat(web): toggle identifier coloring (diff) | |
download | refinery-667045429b1d7fdc49d7ecae75b7673d7a2c240e.tar.gz refinery-667045429b1d7fdc49d7ecae75b7673d7a2c240e.tar.zst refinery-667045429b1d7fdc49d7ecae75b7673d7a2c240e.zip |
Merge pull request #51 from kris7t/color-identifiers
Color identifiers
Diffstat (limited to 'gradle/libs.versions.toml')
0 files changed, 0 insertions, 0 deletions