diff options
author | Dan Frumin <dfrumin@cs.ru.nl> | 2019-06-20 16:11:27 +0200 |
---|---|---|
committer | David Thompson <dthompson@vistahigherlearning.com> | 2019-06-28 08:36:41 -0400 |
commit | e4d7e9b6059bbec25471e7ea08754f2cf9ae20fe (patch) | |
tree | 5eb2ee7b1ce69ec54934225e43837dd47325ea45 /website/manual/Pages.html | |
parent | d92411f7c1b6dafdd2de028aac24792c7c0ae178 (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