Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

file 22 lines (22 sloc) 3.228 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
;;; CUSTOM SET VARIABLES
(custom-set-variables
 ;; custom-set-variables was added by Custom.
 ;; If you edit it by hand, you could mess it up, so be careful.
 ;; Your init file should contain only one such instance.
 ;; If there is more than one, they won't work right.
 '(agda2-include-dirs (quote ("." "/Users/jlouis/lib/agda/lib-0.6/src")))
 '(compilation-ask-about-save nil)
 '(custom-safe-themes (quote ("cf08ae4c26cacce2eebff39d129ea0a21c9d7bf70ea9b945588c1c66392578d1" "1157a4055504672be1df1232bed784ba575c60ab44d8e6c7b3800ae76b42f8bd" "7f1263c969f04a8e58f9441f4ba4d7fb1302243355cb9faecb55aec878a06ee9" "4aafea32abe07a9658d20aadcae066e9c7a53f8e3dfbd18d8fa0b26c24f9082c" "fc5fcb6f1f1c1bc01305694c59a1a861b008c534cae8d0e48e4d5e81ad718bc6" "1e7e097ec8cb1f8c3a912d7e1e0331caeed49fef6cff220be63bd2a6ba4cc365" "e439d894bf9406baf73056cf7e3c913ee5c794b6adadbbb9f614aebed0fd9ce7" "cf2bb5e8046ca363183c87e8d33932f2a76a3d705b9db2721631777bbce92968" "9117c98819cfdeb59780cb43e5d360ff8a5964d7dd9783b01708bda83098b9fd" "e992575f7c09459bfc190e6776b8f5f96964023e98267a87fb3094e7c9686776" "501caa208affa1145ccbb4b74b6cd66c3091e41c5bb66c677feda9def5eab19c" "d2622a2a2966905a5237b54f35996ca6fda2f79a9253d44793cfe31079e3c92b" "5727ad01be0a0d371f6e26c72f2ef2bafdc483063de26c88eaceea0674deb3d9" "baed08a10ff9393ce578c3ea3e8fd4f8c86e595463a882c55f3bd617df7e5a45" "54d1bcf3fcf758af4812f98eb53b5d767f897442753e1aa468cfeb221f8734f9" "044e1ce9a36db8a97a38da0c2eabc5fade0d3d990c8c2d125c586b71652d87be" "30fe7e72186c728bd7c3e1b8d67bc10b846119c45a0f35c972ed427c45bacc19" "47840d23317e7f4f4b094b5aeffde0947a46d0d9" "12370b73a1a7650e1cc22f977099915dd1146f22" "d582b43b82421d883b781d7e464534c1dbf5667b" "98cf9bb22daf932e4efe990a4313374b36c498de" "518838fdc4493adf33d05ca0cd91d4db5868b3a3" "490ea6a088842478a3154aa59e4e288dcf99ae20" "6f0acc4ca08d699e7450e39405340a352d99a51d" "a057d1f3a811cc2d5f5589857c4829569b5a8504" "3e8cfc0028884f764d60134efafba931da2e0c39" "d050a73149058f0bb66ba0bcab87d31bfb3624e6" "3727256c5184de4a404f133548afd12ac92c6b2e" "7d8128827ec5070e2da7db61cfe9a510f3810d40" "808ca378ba54fe9d778b0af2edadeff69d0b9078" "ccef00a641c20cd350bc96c66485202f92c06b11" "c243359981611f87eb59a2fadfa9742d0eb816b5" "b3b9d4288318247f66bee3baf5ea21fa616238dc" "5aa6b27d8e46e5ee292f4c8f73247d3da86a0b1a" "99bc0783e5485fcd9007496d2dd464ee4d13c3d2" "d41cdeb496b40c59748917e85bbe6e4095dc2ce8" "013677714519e9b8a5e9105177cf1d613f748bd0" "6168eec7aa83275482fe0a6db7e1cdd33d804538" "2ca1dd619da788e48e22e51249f233f178800fc9" "7a2bbbd52dc3f3836526c4f66ce712e4093aa9a8" "26d16c0027858d9ba508fe403466d1c0d4ca1fa9" default)))
 '(ido-ubiquitous-command-exceptions (quote (find-tag erlang-find-tag)))
 '(indicate-buffer-boundaries (quote left))
 '(org-mobile-inbox-for-pull "~/Dropbox/MobileOrg/from-mobile.org")
 '(org-refile-use-outline-path nil)
 '(user-full-name "Jesper Louis Andersen")
 '(user-mail-address "jesper.louis.andersen@gmail.com")
 '(wrangler-search-paths (quote ("/home/jlouis/P/etorrent_core/"))))
(custom-set-faces
 ;; custom-set-faces was added by Custom.
 ;; If you edit it by hand, you could mess it up, so be careful.
 ;; Your init file should contain only one such instance.
 ;; If there is more than one, they won't work right.
 )
Something went wrong with that request. Please try again.