.pydevproject
changeset 1072 81d9db7d55f8
parent 888 6fc6637d8403