From 89672de6ce5afbdc6de7f6378e44fbb7d1ed3462 Mon Sep 17 00:00:00 2001
From: tomo <tomo>
Date: Mon, 24 Jun 2002 07:24:10 +0000
Subject: [PATCH] (ids-modules-to-compile): Add `ids-dump'.

---
 IDS-ELS |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/IDS-ELS b/IDS-ELS
index 901cd51..02e222c 100644
--- a/IDS-ELS
+++ b/IDS-ELS
@@ -5,7 +5,7 @@
 ;;; Code:
 
 (setq ids-modules-to-compile
-      '(ids ids-util ids-read))
+      '(ids ids-util ids-read ids-dump))
 
 (setq ids-modules-not-to-compile nil)
 
-- 
1.7.10.4