summaryrefslogtreecommitdiffstats
path: root/lib/lcr (follow)
Commit message (Collapse)AuthorAgeFilesLines
* [emacs] update 5 dronesAmin Bandali2018-09-021-0/+0
| | | | | | | | lib/dante master 1.4-70-ge35bac2 lib/lcr master 1.1 lib/magit master 2.13.0-204-g852c7593 lib/org master release_9.1.14-908-gf1269e4c1 lib/proof-site master v4.4-203-g65d69a7a
* [emacs] assimilate and enable dante and its dependency, lcrAmin Bandali2018-05-071-0/+0