Skip to content

Improve Projection bars styling for Theia#185

Merged
martin-fleck-at merged 1 commit intomasterfrom issues/1122Nov 7, 2023

Commits

Commits on Nov 6, 2023