From 477ba1eef5442d1f2f306e97aafd949fabca9bed Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 1 May 2012 17:32:01 -0400 Subject: [PATCH] Rename in web UI --- web/about.html | 16 ++++----- web/bootstrap/template.xsl | 6 ++-- web/bootstrap/templates/about.xml | 10 +++--- web/bootstrap/templates/index.xml | 2 +- web/bootstrap/templates/nodes.xml | 2 +- web/global.js | 4 +-- web/gpl3.html | 6 ++-- web/{ocamlmsg.js => hop.js} | 56 +++++++++++++++---------------- web/index.html | 8 ++--- web/index.js | 14 ++++---- web/nodes.html | 8 ++--- web/nodes.js | 2 +- 12 files changed, 67 insertions(+), 67 deletions(-) rename web/{ocamlmsg.js => hop.js} (53%) diff --git a/web/about.html b/web/about.html index 3ca1295..60d19b9 100644 --- a/web/about.html +++ b/web/about.html @@ -2,7 +2,7 @@ -About Ocamlmsg +About Hop -