From 208baf889a56d2ee363bd2e2dbda86a1cd5770f8 Mon Sep 17 00:00:00 2001
From: Artem Shvorin <art@shvorin.net>
Date: Wed, 29 Nov 2017 02:47:01 +0300
Subject: [PATCH] using indent-tabs-mode in c-mode

---
 .emacs | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/.emacs b/.emacs
index f93486a..0c8040c 100644
--- a/.emacs
+++ b/.emacs
@@ -5,6 +5,19 @@
  ;; If there is more than one, they won't work right.
  '(agda2-include-dirs (quote ("/home/art/Build/agda-lib/lib-0.7/src" ".")))
  '(blink-cursor-mode nil)
+ '(c-basic-offset (quote set-from-style))
+ '(c-default-style
+   (quote
+    ((c-mode . "linux")
+     (java-mode . "java")
+     (awk-mode . "awk")
+     (other . "gnu"))))
+ '(c-mode-hook
+   (quote
+    ((lambda nil
+       (setq indent-tabs-mode t))
+     (lambda nil
+       (setq c-basic-offset 4)))))
  '(calendar-week-start-day 1)
  '(column-number-mode t)
  '(display-time-24hr-format t)