summaryrefslogtreecommitdiff
path: root/website/manual/Pages.html
diff options
context:
space:
mode:
authorDan Frumin <dfrumin@cs.ru.nl>2019-06-20 16:11:27 +0200
committerDavid Thompson <dthompson@vistahigherlearning.com>2019-06-28 08:36:41 -0400
commite4d7e9b6059bbec25471e7ea08754f2cf9ae20fe (patch)
tree5eb2ee7b1ce69ec54934225e43837dd47325ea45 /website/manual/Pages.html
parentd92411f7c1b6dafdd2de028aac24792c7c0ae178 (diff)
doc: Fix typo in "Builders" section.
* doc/haunt.texi: Fix typo.
Diffstat (limited to 'website/manual/Pages.html')
0 files changed, 0 insertions, 0 deletions