From 30d790e6b977879d90296e73aa6e76dee309e866 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 16 Aug 1999 17:03:17 +0000
Subject: disable_pr, enable_pr;

---
 isar/isar-keywords.el | 2 ++
 1 file changed, 2 insertions(+)

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"
-- 
cgit v1.2.3