diff options
| -rw-r--r-- | edit.html (renamed from r.html) | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,7 +4,7 @@ <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> + <script src="r.js" type="text/javascript" charset="utf-8"></script> </head> <body> <div id="holder"></div> |