proxy: Add a "proxy" theme that selects other themes based on the path.
[matthijs/projects/wipi.git] / .gitignore
1 *.pyc
2 data/