Dedukti-mode configuration
Desktop
Encoding is safe as a file-variable
Merge branch 'master' of http://github.com/rafoo/my-emacs-config

Conflicts:
	.emacs