summaryrefslogtreecommitdiffstats
path: root/org
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2018-02-06 19:03:34 +0100
committerDavid A. Madore <david+git@madore.org>2018-02-06 19:03:34 +0100
commit6512be2ad00185c8f6cab936ff72b64793ff857d (patch)
treeabefb4bdb53e13bb45de9df74c907d9adadabb10 /org
parent823c78b49f50f76d256df41ad58bd778725ab3d9 (diff)
downloaddamlengine-6512be2ad00185c8f6cab936ff72b64793ff857d.tar.gz
damlengine-6512be2ad00185c8f6cab936ff72b64793ff857d.tar.bz2
damlengine-6512be2ad00185c8f6cab936ff72b64793ff857d.zip
Reflect URL change of professional web site.
Diffstat (limited to 'org')
-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"));