diff options
Diffstat (limited to 'docs/users_guide/ug-book.xml.in')
| -rw-r--r-- | docs/users_guide/ug-book.xml.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/users_guide/ug-book.xml.in b/docs/users_guide/ug-book.xml.in index dc5d4f7c35..b87563ac3b 100644 --- a/docs/users_guide/ug-book.xml.in +++ b/docs/users_guide/ug-book.xml.in @@ -17,7 +17,6 @@ &lang-features; &ffi-chap; &extending-ghc; -&external-core; &wrong; &utils; &win32-dll; |