fix(languages): update GitHub languages JSON file

jaebradley · jaebradley · commit 6cf82909614d · 2018-10-15T16:07:51.000Z
diff --git a/src/languages.json b/src/languages.json
@@ -2220,6 +2220,7 @@
     "searchable": "true"
   },
   {
+    "fsName": "Fstar",
     "type": "programming",
     "color": "#572e30",
     "aliases": [
