.pydevproject
changeset 1537 7e59183129bb
parent 888 6fc6637d8403