diff options
author | JSDurand <mmemmew@gmail.com> | 2021-12-06 22:58:08 +0800 |
---|---|---|
committer | JSDurand <mmemmew@gmail.com> | 2021-12-06 22:58:08 +0800 |
commit | 414923f874093c2fb09b8a92693aed91df0784ed (patch) | |
tree | d77b2ac4008249bf353f1ec9cb62867b7cbe3f32 | |
parent | fa46121121a2a88040cb3fcdd8dc4d4df6b016dd (diff) |
* org-conf.el (org-structure-template-alist): proof template.
-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 |