diff options
Diffstat (limited to 'lego/x-symbol-lego.el')
| -rw-r--r-- | lego/x-symbol-lego.el | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/lego/x-symbol-lego.el b/lego/x-symbol-lego.el deleted file mode 100644 index 86f6b185..00000000 --- a/lego/x-symbol-lego.el +++ /dev/null @@ -1,13 +0,0 @@ -;; x-symbol-lego.el -;; -;; David Aspinall, adapted from file supplied by David von Obheimb -;; License: GPL (GNU GENERAL PUBLIC LICENSE) -;; -;; $Id$ -;; - -;; FIXME: to revitalise this, see coq/x-symbol-coq.el - -(error "LEGO support for X-Symbol has been removed in this release, sorry.") - -(provide 'x-symbol-lego) |