| commit | 422542e5be29ac23a00fac7c973c0b9382eb7a44 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat May 14 10:23:23 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat May 14 10:23:23 2011 +0000 |
| tree | de6f6798cb2614d6ee5ffab1deded44af50f60ab | |
| parent | 00e39e743ee8078c8d363574f69ae2de2a022ed3 [diff] |
adjust test: option key has been removed