Minor spelling fixes to users guide.
authorP.C. Shyamshankar <shyam@galois.com>
Sat, 27 Apr 2019 16:54:03 +0000 (12:54 -0400)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Wed, 29 May 2019 14:37:16 +0000 (10:37 -0400)
commit32acecc29d4766fd2b168cbd654667ba6be03dbb
treead2a004efada647a0d5b7508d48bbd6756ed34fd
parent7a75a09403264c60a1f513b7466dc9503b966aab
Minor spelling fixes to users guide.
docs/users_guide/bugs.rst
docs/users_guide/debug-info.rst
docs/users_guide/editing-guide.rst
docs/users_guide/ghci.rst
docs/users_guide/phases.rst
docs/users_guide/separate_compilation.rst
docs/users_guide/using-optimisation.rst
docs/users_guide/using-warnings.rst