projects
/
web.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
mention cargo-script
[web.git]
/
research
/
contact.html
diff --git
a/research/contact.html
b/research/contact.html
index f825928609d27a5876b45354b1101d02ecb1a50a..d43ad95786f12b65580127ef29ecb18fffca7da7 100644
(file)
--- a/
research/contact.html
+++ b/
research/contact.html
@@
-3,7
+3,7
@@
title: Contact
sort: 2
---
sort: 2
---
-<p><b>Email:</b> r
esearch AT ralfj DOT de
</p>
+<p><b>Email:</b> r
alf DOT jung AT inf DOT ethz DOT ch
</p>
<p><b>Phone:</b> +41 44 632 5598</p>
<p><b>Phone:</b> +41 44 632 5598</p>