j
k
j a
j l
On Fri Sep 15 20:39:40 2023 +0000, Esme Povirk wrote:
Oh never mind, it's covered by the initial copy.
Yes, exactly. Just like `numdashes` above this.
Back to the thread
Back to the list