diff --git a/hosts b/hosts index 8fae57babf938be4e273837d55f1c6df97ee40d6..079411897c4cdf91976f370d5c341263bcb3c601 100644 --- a/hosts +++ b/hosts @@ -70,6 +70,7 @@ lysander.las.kit.edu [rdp] gutemine.las.kit.edu asterix.las.kit.edu +amnesix.las.kit.edu [latex] gutemine.las.kit.edu