.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
|
calculate line numbers
|
2015-11-09 14:13:47 -05:00 |
index.html
|
Move the CSS into its own file.
|
2015-11-12 13:41:50 -05:00 |
patch.js
|
Patch is in its own file.
|
2015-10-27 11:09:16 -04:00 |
style.css
|
Apply insert/delete/replace classes to td
|
2015-12-07 16:00:02 -05: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 |