diff options
Diffstat (limited to 'setup/domains.txt')
| -rw-r--r-- | setup/domains.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/setup/domains.txt b/setup/domains.txt index 4c119ab..c919d76 100644 --- a/setup/domains.txt +++ b/setup/domains.txt @@ -1,2 +1,2 @@ -imkmastadei ka.fzk.de +imkmastadei imk-tro.kit.edu pcebessadei competence-e.kit.edu |