diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-03-16 00:25:20 +0100 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:26:03 +0200 |
| commit | 1ce0af3aa7e95b7945e0bbdba456d0328335e6ca (patch) | |
| tree | df993a9566b37c9f003dae5ce4e635358ed250a3 /python/engine.py | |
| parent | 5c2f8dc526ff12abbf5e33965680fbf91645b274 (diff) | |
Use different colors for different types of edits
Remove on-hover explanations and replace the now-useless gutter with
line numbers. Explanations will be reintroduced in a later commit.
Diffstat (limited to 'python/engine.py')
0 files changed, 0 insertions, 0 deletions