tree 29a382358a2181f8850444915e3be0ca7211b6e5
parent 334b376de353c824cbb372c604b66a22944dd05e
author Deaddy <wunderlich@uni-muenster.de> 1546426430 +0100
committer Deaddy <wunderlich@uni-muenster.de> 1546426878 +0100

mktemp; Tabs entfernt; Env-var $MUDLIB persistent

Kleinere Schoenheitsoperationen:
- Temporaere Dateien werden jetzt via mktemp erstellt
- Tabs wurden durch vier Spaces ersetzt
- bei der Umgebungsvariable $MUDLIB wird vorher geprueft, ob diese
  bereits existiert und nur bei Nicht-Existenz durch ../mudlib ersetzt.

Change-Id: I38b7c1104de6d59f7f1b1380b1082e1cb5cdc958