Update cnames_active.js

#1584
7 years ago · bca68bf94a
parent a51138fb15
commit bca68bf94a
1 changed files with 0 additions and 1 deletions
--- a/cnames_active.js
+++ b/cnames_active.js
@ -85,7 +85,6 @@ var cnames_active = {
  "arime": "ninbryan.github.io/arime", // noCF? (don´t add this in a new PR)
  "artery": "arteryjs.github.io/gh-pages", // noCF? (don´t add this in a new PR)
  "ass": "weizhenye.github.io/ASS",
-  "ast": "kindy.github.io/astexplorer",
  "astral": "espinielli.github.io/astraljs", // noCF? (don´t add this in a new PR)
  "astrobench": "kupriyanenko.github.io/astrobench", // noCF? (don´t add this in a new PR)
  "astx-redux-util": "kevinast.github.io/astx-redux-util",