From f09b14f4b3f3915343b1279da286351ab5348eac Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Sun, 23 Aug 2015 04:23:51 -0700
Subject: Replace the Emacs mode files by a pointer to the boogie-friends repo.

Does mercurial support submodules? That could be a good option too.
---
 Util/Emacs/README | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 Util/Emacs/README

(limited to 'Util/Emacs/README')

diff --git a/Util/Emacs/README b/Util/Emacs/README
new file mode 100644
index 00000000..9140f20a
--- /dev/null
+++ b/Util/Emacs/README
@@ -0,0 +1,2 @@
+Emacs support for dafny is provided by the boogie-friends package, available from MELPA.
+See https://github.com/boogie-org/boogie-friends for setup instructions and tips.
\ No newline at end of file
-- 
cgit v1.2.3