14 Jul
2020
14 Jul
'20
9:07 p.m.
On 2020-07-14 19:51 +0100, Tarquin Wilton-Jones via Therion wrote:
Note the spelling. There is a typo in the Survex docs.
So there is. That must have been there for years. Patch filed. https://trac.survex.com/attachment/ticket/117/#ticket Wookey -- Principal hats: Linaro, Debian, Wookware, ARM http://wookware.org/