.pydevproject
changeset 1543 808ef2076edc
parent 888 6fc6637d8403