aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar-keywords.el
diff options
context:
space:
mode:
authorGravatar Makarius Wenzel <makarius@sketis.net>1999-08-16 17:03:17 +0000
committerGravatar Makarius Wenzel <makarius@sketis.net>1999-08-16 17:03:17 +0000
commit30d790e6b977879d90296e73aa6e76dee309e866 (patch)
tree0deafd8b2f0ae2743bfe068f8117584ef25def3f /isar/isar-keywords.el
parentcd6c2b24c5b81465d3dbcc292b4457ed37ab9fb1 (diff)
disable_pr, enable_pr;
Diffstat (limited to 'isar/isar-keywords.el')
-rw-r--r--isar/isar-keywords.el2
1 files changed, 2 insertions, 0 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 61526572..e1a95186 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -40,6 +40,8 @@
(defconst isar-keywords-diag
'("ML"
"commit"
+ "disable_pr"
+ "enable_pr"
"help"
"pr"
"pretty_setmargin"