Skip to content
This repository has been archived by the owner on Sep 6, 2021. It is now read-only.

Revert "Fix #13274 - make Brackets margin/padding remoteHighlight work like Chrome one" #13296

Merged
merged 1 commit into from
Apr 10, 2017

Revert "Fix #13274 - make Brackets margin/padding remoteHighlight wor…

0c914ef
Select commit
Loading
Failed to load commit list.
Merged

Revert "Fix #13274 - make Brackets margin/padding remoteHighlight work like Chrome one" #13296

Revert "Fix #13274 - make Brackets margin/padding remoteHighlight wor…
0c914ef
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs