Go to file
2016-01-01 12:37:37 -06:00
gui Remove extra directories. 2014-12-02 02:33:07 -05:00
gui-doc Fix typo, clarify get-file filter 2016-01-01 12:37:37 -06:00
gui-lib Cocoa: fix refresh and fullscreen problems 2015-12-31 15:50:41 -07:00
gui-test Fix test for Unicode ellipsis. 2015-12-31 12:00:32 -05:00
tex-table add notin as a tex shortcut 2015-09-22 21:03:08 -05:00
.gitignore Add standard .gitignore file. 2014-12-06 17:46:34 -05:00