diff options
| author | David A. Madore <david+git@madore.org> | 2018-02-06 19:03:34 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2018-02-06 19:03:34 +0100 |
| commit | 6512be2ad00185c8f6cab936ff72b64793ff857d (patch) | |
| tree | abefb4bdb53e13bb45de9df74c907d9adadabb10 /org/madore/damlengine | |
| parent | 823c78b49f50f76d256df41ad58bd778725ab3d9 (diff) | |
| download | damlengine-6512be2ad00185c8f6cab936ff72b64793ff857d.tar.gz damlengine-6512be2ad00185c8f6cab936ff72b64793ff857d.tar.bz2 damlengine-6512be2ad00185c8f6cab936ff72b64793ff857d.zip | |
Reflect URL change of professional web site.
Diffstat (limited to 'org/madore/damlengine')
| -rw-r--r-- | org/madore/damlengine/TodoNavbar.java | 2 |
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")); |