]>
2017-05-18 | Ramakrishnan Muthukr... | add dumb-jump mode |
commit | commitdiff | tree |
2017-05-16 | Ramakrishnan Muthukr... | remove ghc-mod, other misc changes |
commit | commitdiff | tree |
2017-01-23 | Ramakrishnan Muthukr... | turn on font-lock, tomorrow theme, orgmode |
commit | commitdiff | tree |