| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fixing emacs diff bug with .dir-locals.el. |  courtieu | 2012-11-15 |
| * | the new .dir-locals.el thanks to Pierre Courtieu |  pboutill | 2012-10-23 |
| * | Added .dir-locals file to take advantage of emacs 23's new Directory-local va... |  puech | 2011-08-01 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |
path: root/.dir-locals.el