Typos in users' guide
authorKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Tue, 1 Oct 2013 09:44:00 +0000 (11:44 +0200)
committerKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Tue, 1 Oct 2013 09:44:00 +0000 (11:44 +0200)
commit4b8a928d7a49add8062dd43c5fb66721a6e6346d
tree00f9cd88702d8a5c8e1e71eb1e5c49614ea5394f
parent6c235b51e345fd25c1222ab2ce0cfdea2845a02e
Typos in users' guide
docs/users_guide/7.8.1-notes.xml
docs/users_guide/bugs.xml
docs/users_guide/flags.xml
docs/users_guide/ghci.xml
docs/users_guide/glasgow_exts.xml