proxy: Add a "proxy" theme that selects other themes based on the path.

[matthijs/projects/wipi.git] / plugin / __init__.py

# *** Do not remove this! ***
# Although being empty, the presence of this file is important for plugins
# working correctly.