server/virtualenv/res/lib/patch.py
changeset 10 dd7d86fbee70
parent 1 e0dbcf98c13e
equal deleted inserted replaced
9:fd659ad76e0f 10:dd7d86fbee70