summaryrefslogtreecommitdiff
path: root/org-conf.el
diff options
context:
space:
mode:
authorJSDurand <mmemmew@gmail.com>2021-12-06 22:58:08 +0800
committerJSDurand <mmemmew@gmail.com>2021-12-06 22:58:08 +0800
commit414923f874093c2fb09b8a92693aed91df0784ed (patch)
treed77b2ac4008249bf353f1ec9cb62867b7cbe3f32 /org-conf.el
parentfa46121121a2a88040cb3fcdd8dc4d4df6b016dd (diff)
* org-conf.el (org-structure-template-alist): proof template.
Diffstat (limited to 'org-conf.el')
-rw-r--r--org-conf.el1
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