From 1952267fc00a1c91b25d79a541be7b65a199dfce Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 20 Oct 1999 13:20:13 +0000
Subject: added ML_command;

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

(limited to 'isar')

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 3b3747d6..5263cb3f 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -41,6 +41,7 @@
 
 (defconst isar-keywords-diag
   '("ML"
+    "ML_command"
     "commit"
     "disable_pr"
     "enable_pr"
-- 
cgit v1.2.3