diff options
author | Gabriel Devillers <gdevillers@kalray.eu> | 2016-07-18 15:03:07 +0200 |
---|---|---|
committer | Gabriel Devillers <gdevillers@kalray.eu> | 2016-08-05 11:51:48 +0200 |
commit | 8a026086660cdb057448e8d18c4eb83ac6c4770f (patch) | |
tree | 97e85d5cef5ac5634ac4292013b755439d91bd49 /lib/diff.js | |
parent | 7e5391043bad0ea6daaee5d3fe87b52c0be59387 (diff) | |
download | compiler-explorer-8a026086660cdb057448e8d18c4eb83ac6c4770f.tar.gz compiler-explorer-8a026086660cdb057448e8d18c4eb83ac6c4770f.zip |
Improved look of diff panel.
And bug fix: corrected slots numerotation in diff panels.
Diffstat (limited to 'lib/diff.js')
0 files changed, 0 insertions, 0 deletions