diff --git a/script/dev_server_WIP b/script/dev_server
similarity index 100%
rename from script/dev_server_WIP
rename to script/dev_server