This repository has been archived by the owner on Jul 20, 2022. It is now read-only.
Remove unused folding ranges#162
Merged
olafurpg merged 1 commit intosourcegraph:masterfrom olafurpg:remove-folding-rangeJul 15, 2021
-77
Commits
Commits on Jul 15, 2021
- committed
