From bca68bf94a355775cf945f68c3af66eabc6ec850 Mon Sep 17 00:00:00 2001 From: Stefan Keim Date: Thu, 23 Nov 2017 12:43:12 +0100 Subject: [PATCH] Update cnames_active.js #1584 --- cnames_active.js | 1 - 1 file changed, 1 deletion(-) diff --git a/cnames_active.js b/cnames_active.js index 66b65d89..1b6c7e60 100644 --- 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",