diff --git a/.dir-locals.el b/.dir-locals.el deleted file mode 100644 index 45e42d117..000000000 --- a/.dir-locals.el +++ /dev/null @@ -1,5 +0,0 @@ -;; -(( c-mode . ((c-basic-offset . 4) - (tab-width . 8) - (indent-tabs-mode . nil))) - diff --git a/.gitignore b/.gitignore index 80902ccaf..66eda9374 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,6 @@ *~ *.user +.dir-locals.el gmon.out log.log build