diff options
| author | Paul Daniel Faria <[email protected]> | 2020-06-02 23:58:42 +0100 |
|---|---|---|
| committer | Paul Daniel Faria <[email protected]> | 2020-06-27 15:16:19 +0100 |
| commit | 2ca52bbb325d4842d9642fc5f9e368b590c4ce41 (patch) | |
| tree | d123db8fa4c040deb3696d72a11d8e441dc902be /.gitignore | |
| parent | 2fc92fa28cda858c25fea2e378c2eb73e7f65247 (diff) | |
Revert ide highlighting changes (addressing on another branch)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions