diff options
Diffstat (limited to 'docs/users_guide/lang.xml')
| -rw-r--r-- | docs/users_guide/lang.xml | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/docs/users_guide/lang.xml b/docs/users_guide/lang.xml deleted file mode 100644 index 7e94ba4b68..0000000000 --- a/docs/users_guide/lang.xml +++ /dev/null @@ -1,16 +0,0 @@ -<?xml version="1.0" encoding="iso-8859-1"?> -<chapter id="ghc-language-features"> -<title>GHC Language Features</title> - -&glasgowexts; -∥ -&safehaskell; - -</chapter> - -<!-- Emacs stuff: - ;;; Local Variables: *** - ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") *** - ;;; ispell-local-dictionary: "british" *** - ;;; End: *** - --> |