summaryrefslogtreecommitdiff
path: root/doc/skr
diff options
context:
space:
mode:
Diffstat (limited to 'doc/skr')
-rw-r--r--doc/skr/env.skr1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/skr/env.skr b/doc/skr/env.skr
index 09d5146..463b997 100644
--- a/doc/skr/env.skr
+++ b/doc/skr/env.skr
@@ -11,6 +11,7 @@
(define *serrano-url* "http://www.inria.fr/mimosa/Manuel.Serrano")
(define *serrano-mail* "Manuel.Serrano@sophia.inria.fr")
+(define *courtes-mail* "ludovic.courtes@laas.fr")
(define *html-url* "http://www.w3.org/TR/html4")
(define *html-form* "interact/forms.html")
(define *emacs-url* "http://www.gnu.org/software/emacs")