From 1cf0eef72e254014b2d6de0ee5b528beafbeb02e Mon Sep 17 00:00:00 2001 From: Michael Gerhaeuser Date: Thu, 2 May 2013 12:17:32 +0200 Subject: [PATCH] Rename jsxgraphcore.min.js to jsxgraphcore.js --- ajax/libs/jsxgraph/0.97/{jsxgraphcore.min.js => jsxgraphcore.js} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename ajax/libs/jsxgraph/0.97/{jsxgraphcore.min.js => jsxgraphcore.js} (100%) diff --git a/ajax/libs/jsxgraph/0.97/jsxgraphcore.min.js b/ajax/libs/jsxgraph/0.97/jsxgraphcore.js similarity index 100% rename from ajax/libs/jsxgraph/0.97/jsxgraphcore.min.js rename to ajax/libs/jsxgraph/0.97/jsxgraphcore.js