Merge pull request #2173 from robsonpeixoto/patch-3
Add .dir-locals.el
Description
Description
Details
Details
- Committed
GitHub <noreply@github.com> Nov 6 2016, 23:30 - Pushed
aubort Jul 2 2018, 16:12 - Parents
- rGITIGNORE3081a7059a59: Add .dir-locals.el
rGITIGNORE88a3eb412c07: Merge pull request #2166 from jvcdk/master - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
| Commit | Author | Details | Committed | |||
|---|---|---|---|---|---|---|
| 3081a7059a59 | Robson Roberto Souza Peixoto/GitHub | Add .dir-locals.el | Nov 4 2016 |