| commit | 0bce534c8f48e36223b302b21855fe10fc9012db | [log] [tgz] |
|---|---|---|
| author | Christoph Hertzberg <chtz@informatik.uni-bremen.de> | Tue Oct 15 19:09:09 2013 +0200 |
| committer | Christoph Hertzberg <chtz@informatik.uni-bremen.de> | Tue Oct 15 19:09:09 2013 +0200 |
| tree | 4952e3ccc7b560bde1e6eb10dde920db6642f6db | |
| parent | 6bef527f9dbf470bc78655a8311c20c1508db7ec [diff] |
Fix bug #679