.pydevproject
changeset 1517 8e38010d421b
parent 888 6fc6637d8403