##// 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:

r30346:9cc438bf default
r31555:7c7d3ad7 default
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer