Dave Collins f264e8cc41 stdscript: Update README.md for provably pruneable. ... This updates README.md to describe provably pruneable scripts and document the new function.		2021-11-16 17:46:43 -06:00
..
stdscript	stdscript: Update README.md for provably pruneable.	2021-11-16 17:46:43 -06:00