diff options
| -rw-r--r-- | org-conf.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org-conf.el b/org-conf.el index 22b7c45..f964d3c 100644 --- a/org-conf.el +++ b/org-conf.el @@ -43,6 +43,7 @@ (add-to-list 'org-structure-template-alist (cons "g" "src durand-greek")) (add-to-list 'org-structure-template-alist (cons "el" "src emacs-lisp")) +(add-to-list 'org-structure-template-alist (cons "pf" "proof")) ;; (add-to-list 'org-modules 'ol-gnus) ;;; Keys |