diff options
author | 2022-10-31 19:15:21 -0400 | |
---|---|---|
committer | 2022-11-05 19:41:17 +0100 | |
commit | 216dea1a36d1c05108ac5cfcec84a7808ecf1d6e (patch) | |
tree | 338e11bc8f90f270899f40f8217a70a040375d7c /gradle.properties | |
parent | refactor(frontend): editor theme improvements (diff) | |
download | refinery-216dea1a36d1c05108ac5cfcec84a7808ecf1d6e.tar.gz refinery-216dea1a36d1c05108ac5cfcec84a7808ecf1d6e.tar.zst refinery-216dea1a36d1c05108ac5cfcec84a7808ecf1d6e.zip |
feat(frontend): overlay scrollbars for editor
Diffstat (limited to 'gradle.properties')
0 files changed, 0 insertions, 0 deletions