  '(truncate-partial-width-windows nil)
  '(uniquify-buffer-name-style (quote forward) nil (uniquify))
  '(vc-annotate-background nil)
- '(vc-annotate-color-map (quote ((20 . "#dc322f") (40 . "#c37300") (60 . "#b97d00") (80 . "#b58900") (100 . "#a18700") (120 . "#9b8700") (140 . "#948700") (160 . "#8d8700") (180 . "#859900") (200 . "#5a942c") (220 . "#439b43") (240 . "#2da159") (260 . "#16a870") (280 . "#2aa198") (300 . "#009fa7") (320 . "#0097b7") (340 . "#008fc7") (360 . "#268bd2"))))
+ '(vc-annotate-color-map
+   (quote
+    ((20 . "#dc322f")
+     (40 . "#c37300")
+     (60 . "#b97d00")
+     (80 . "#b58900")
+     (100 . "#a18700")
+     (120 . "#9b8700")
+     (140 . "#948700")
+     (160 . "#8d8700")
+     (180 . "#859900")
+     (200 . "#5a942c")
+     (220 . "#439b43")
+     (240 . "#2da159")
+     (260 . "#16a870")
+     (280 . "#2aa198")
+     (300 . "#009fa7")
+     (320 . "#0097b7")
+     (340 . "#008fc7")
+     (360 . "#268bd2"))))
  '(vc-annotate-very-old-color nil)
- '(visible-bell t)
- '(weechat-color-list (quote (unspecified "#fdf6e3" "#eee8d5" "#990A1B" "#dc322f" "#546E00" "#859900" "#7B6000" "#b58900" "#00629D" "#268bd2" "#93115C" "#d33682" "#00736F" "#2aa198" "#657b83" "#839496")))
+ '(visible-bell nil)
+ '(weechat-color-list
+   (quote
+    (unspecified "#fdf6e3" "#eee8d5" "#990A1B" "#dc322f" "#546E00" "#859900" "#7B6000" "#b58900" "#00629D" "#268bd2" "#93115C" "#d33682" "#00736F" "#2aa198" "#657b83" "#839496")))
  '(whitespace-line-column 100)
- '(whitespace-style (quote (trailing lines space-before-tab indentation space-after-tab))))
+ '(whitespace-style
+   (quote
+    (trailing lines space-before-tab indentation space-after-tab))))
 (custom-set-faces
  ;; custom-set-faces was added by Custom.
  ;; If you edit it by hand, you could mess it up, so be careful.

 '(cua-overwrite-cursor-color "#b58900")
 '(cua-read-only-cursor-color "#859900")
 '(current-language-environment "English")
 '(custom-safe-themes (quote ("fc5fcb6f1f1c1bc01305694c59a1a861b008c534cae8d0e48e4d5e81ad718bc6" "3b819bba57a676edf6e4881bd38c777f96d1aa3b3b5bc21d8266fa5b0d0f1ebf" "d677ef584c6dfc0697901a44b885cc18e206f05114c8a3b7fde674fce6180879" "8aebf25556399b58091e533e455dd50a6a9cba958cc4ebb0aab175863c25b9a4" "36a309985a0f9ed1a0c3a69625802f87dee940767c9e200b89cdebdb737e5b29" default)))
 '(display-time-mode t)
 '(echo-keystrokes 0.1)
 '(ede-project-placeholder-cache-file (concat local-config-dir "projects.ede"))

 ;; If there is more than one, they won't work right.
 '(abbrev-file-name (concat shared-config-dir "abbrev_defs"))
 '(abbrev-mode nil t)
 '(agda2-include-dirs
   (quote
    ("." "/opt/agda/stdlib/src" "C:/Tools/agda/stdlib/src")))
 '(ansi-color-names-vector
   ["#eee8d5" "#dc322f" "#859900" "#b58900" "#268bd2" "#d33682" "#2aa198" "#839496"])
 '(auto-compression-mode t)
 '(auto-image-file-mode t)
 '(backup-directory-alist (list (cons "." (concat local-config-dir "backups"))))
 '(bookmark-default-file (concat local-config-dir "emacs.bmk"))
 '(c-basic-offset 4)
 '(c-default-style
   (quote
    ((c-mode . "bsd")
     (c++-mode . "bsd")
     (java-mode . "java")
     (awk-mode . "awk")
     (other . "bsd"))))
 '(case-fold-search t)
 '(clean-buffer-list-kill-never-regexps (quote ("^ \\*Minibuf-.*\\*$" "\\.org$")))
 '(coffee-tab-width 2)
