j
k
j a
j l
Yes!
Is it the sort of thing where it's just work putting a list of all of them (line numbers, &c) up on a web page, maybe crosslinked into cvsweb? Then people can go and pick them off, one at a time.
Back to the thread
Back to the list
