.pydevproject
changeset 1022 92429e14ca48
parent 888 6fc6637d8403