.pydevproject
changeset 1247 078d178bf81b
parent 888 6fc6637d8403