diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-10-02 11:06:53 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-10-02 11:06:53 +0200 |
| commit | dd58eed64f6464bbc5156c703ef238a0b6a56b3a (patch) | |
| tree | ff90cae94b362dd780404b51e1841cdfec929bbd /js/codemirror | |
| parent | cf46f01c7d227375f9d6bf46da0ee97b132a1b82 (diff) | |
Remove edge rounding on console lines.
Diffstat (limited to 'js/codemirror')
0 files changed, 0 insertions, 0 deletions