diff --git a/plugins.txt b/workspace/plugins.txt similarity index 100% rename from plugins.txt rename to workspace/plugins.txt