|
.gitignore
|
Ignore all JSON files in the UI folder.
|
2015-10-27 18:59:03 -04:00 |
|
dictionary.js
|
Dictionary is in its own file.
|
2015-10-27 11:09:48 -04:00 |
|
diff.js
|
Add CSS classes for the various categories.
|
2015-11-03 14:08:32 -05:00 |
|
index.html
|
Prefix the highlighting selectors with .diff.
|
2015-11-03 14:31:22 -05:00 |
|
patch.js
|
Patch is in its own file.
|
2015-10-27 11:09:16 -04:00 |
|
syntax.js
|
Syntax is in its own file.
|
2015-10-27 11:10:38 -04:00 |
|
term.js
|
We no longer use termToDOM.
|
2015-11-03 13:59:57 -05:00 |
