Skip to main content

Browse the archive

Revision c29fc84354e42e710d57e74fc0340bb1846c108a authored by Benjamin Gregoire on 02 December 2015, 11:14:08 UTC, committed by Benjamin Gregoire on 02 December 2015, 11:14:36 UTC 
remove useless space in lemmas printing.
1 parent 4be5d7a
Raw File
emacs.local.rc 
;; Local configuration file - don't load PG from here

;; Disable eletric indent
(when (fboundp 'electric-indent-mode) (electric-indent-mode -1))
back to top