Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/twelf/files/50twelf-gentoo.el
blob: 5bda54b2f19a5f6cd2858cc7fac92e8fd9542407 (plain) 
1
2
3
4

;;; twelf site-lisp configuration

(setq twelf-root "@SITELISP@")
(add-to-list 'load-path "@SITELISP@")