##// END OF EJS Templates
shelve: rename stripnodes to nodestoprune...
shelve: rename stripnodes to nodestoprune Since we are introducing obs-based shelve, we are no longer stripping temporary nodes, we are obsoleting them. Therefore it looks like stipnodes would be a misleading name, while prune has a connotaion of "strip but with obsolescense", so nodestoprune seems like a good rename.

File last commit:

r28809:7a1ad08b default
r31555:7c7d3ad7 default
Show More
test-gendoc-fr.t
4 lines | 84 B | text/troff | Tads3Lexer
#require docutils gettext
$ $TESTDIR/check-gendoc fr
checking for parse errors