diff --git a/dev b/dev
deleted file mode 120000
index 51de3305b..000000000
--- a/dev
+++ /dev/null
@@ -1 +0,0 @@
-0.13.0
\ No newline at end of file
diff --git a/versions.json b/versions.json
index d66aa6165..b819375fb 100644
--- a/versions.json
+++ b/versions.json
@@ -2,9 +2,7 @@
   {
     "version": "0.13.0",
     "title": "0.13.0",
-    "aliases": [
-      "dev"
-    ]
+    "aliases": []
   },
   {
     "version": "0.12.2",