From 8ded4372a5f263fceec7dd53c107fcf9c1be5145 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 28 Jul 1999 11:51:09 +0000
Subject: pretty_setmargin;

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

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index c71bdf7a..9d011c64 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -42,6 +42,7 @@
     "commit"
     "help"
     "pr"
+    "pretty_setmargin"
     "print_attributes"
     "print_binds"
     "print_facts"
-- 
cgit v1.2.3