# Empty dependencies file for DevGuiPlugin.
# This may be replaced when dependencies are built.