aboutsummaryrefslogtreecommitdiff
path: root/.gitmodules (unfollow)
Commit message (Expand)Author
2013-02-19Added proofgeneralRyan Kavanagh
2013-02-19Added auto-indent-mode and magitRyan Kavanagh
2013-02-19Import emacs auto-completeRyan Kavanagh