script/virtualenv/res/lib/patch.py
changeset 803 bb3595fc99c3
parent 735 655bf8a12003