fscotto/dotfiles
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Personalizzazioni per emacs

Browse Source
This commit is contained in:
Fabio Scotto di Santolo
2019-12-07 12:02:37 +01:00
parent 950b3dce24
commit 3a59d8b46a
116 changed files with 1341 additions and 36 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
.emacs.rc/agda2-mode-rc.el Normal file
View File

@@ -0,0 +1,3 @@
(when (executable-find "agda-mode")
(load-file (let ((coding-system-for-read 'utf-8))
(shell-command-to-string "agda-mode locate"))))