diff options
| author | Stefan Dombrowski <stefan@uni-bonn.de> | 2011-03-05 00:18:24 +0100 |
|---|---|---|
| committer | Stefan Dombrowski <stefan@uni-bonn.de> | 2011-03-05 00:18:24 +0100 |
| commit | 88bcb3807d802cbb6e8b94159d07813f1fc770b7 (patch) | |
| tree | bcaa8e27ba1843e909e53af55972ae6dc68c76c7 /debian | |
| parent | 1386b95dca1b5b0159f0b607220a09c0cd4f6b5d (diff) | |
| download | mana-88bcb3807d802cbb6e8b94159d07813f1fc770b7.tar.gz mana-88bcb3807d802cbb6e8b94159d07813f1fc770b7.tar.bz2 mana-88bcb3807d802cbb6e8b94159d07813f1fc770b7.tar.xz mana-88bcb3807d802cbb6e8b94159d07813f1fc770b7.zip | |
Fixing removal of custom server
The server got selected from a list that still
contained the unwanted server.
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions