1 files changed, 0 insertions, 13 deletions
diff --git a/r.html b/r.html
deleted file mode 100644
index 94f2441..0000000
--- a/r.html
+++ /dev/null
@@ -1,13 +0,0 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
-<html lang="en">
-<head>
-  <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-  <title>derivation editor</title>
-  <script src="raphael.js" type="text/javascript" charset="utf-8"></script>
-  <script src="rr.js" type="text/javascript" charset="utf-8"></script>
-</head>
-<body>
-  <div id="holder"></div>
-</body>
-</html>
-