Merge pull request #70 from jaebradley/update-languages-1539619670761

jaebradley · web-flow · commit d19e1ba3d775 · 2018-10-15T10:09:58.000-07:00
Update Languages File
diff --git a/src/languages.json b/src/languages.json
@@ -2220,6 +2220,7 @@
     "searchable": "true"
   },
   {
+    "fsName": "Fstar",
     "type": "programming",
     "color": "#572e30",
     "aliases": [
