summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2018-02-06 18:03:34 (GMT)
committerDavid A. Madore <david+git@madore.org>2018-02-06 18:03:34 (GMT)
commit6512be2ad00185c8f6cab936ff72b64793ff857d (patch)
treeabefb4bdb53e13bb45de9df74c907d9adadabb10
parent823c78b49f50f76d256df41ad58bd778725ab3d9 (diff)
downloaddamlengine-6512be2ad00185c8f6cab936ff72b64793ff857d.zip
damlengine-6512be2ad00185c8f6cab936ff72b64793ff857d.tar.gz
damlengine-6512be2ad00185c8f6cab936ff72b64793ff857d.tar.bz2
Reflect URL change of professional web site.
-rw-r--r--org/madore/damlengine/TodoNavbar.java2
1 files changed, 1 insertions, 1 deletions
diff --git a/org/madore/damlengine/TodoNavbar.java b/org/madore/damlengine/TodoNavbar.java
index 145ac77..c1999e6 100644
--- a/org/madore/damlengine/TodoNavbar.java
+++ b/org/madore/damlengine/TodoNavbar.java
@@ -30,7 +30,7 @@ public final class TodoNavbar extends TodoElement {
a.appendChild(ctx.doc.createTextNode("David Madore"));
p.appendChild(ctx.doc.createElementNS(DamlEngine.XHTML_NS, "br"));
a = ctx.doc.createElementNS(DamlEngine.XHTML_NS, "a");
- a.setAttributeNS(null, "href", "http://perso.enst.fr/~madore/");
+ a.setAttributeNS(null, "href", "http://perso.enst.fr/madore/");
p.appendChild(a);
a.appendChild(ctx.doc.createTextNode(lang.equals("fr")?"Site prof."
:"Prof. site"));