summaryrefslogtreecommitdiff
path: root/.dir-locals.el
diff options
context:
space:
mode:
authorMathieu Lirzin <mthl@gnu.org>2016-06-26 17:02:23 +0200
committerMathieu Lirzin <mthl@gnu.org>2016-06-26 17:02:23 +0200
commit5efdcb444139d6d9354c3aa740c3218beee75646 (patch)
treec531572848938be4cd9db7aa32af22a02c7e7d35 /.dir-locals.el
parent944f8b546776e20c90c57bb21a7cbc63d6e604da (diff)
downloadcuirass-5efdcb444139d6d9354c3aa740c3218beee75646.tar
cuirass-5efdcb444139d6d9354c3aa740c3218beee75646.tar.gz
Add a '--database' command line argument.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions