| commit | bccbbb3648400a731a88e5cd2c10e0e363177040 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Nov 25 14:54:42 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Nov 25 14:54:42 2010 +0000 |
| tree | 526f7a4269d86ea81f1de3109992a2cfa2c0a6bc | |
| parent | ee265f16b32ebdfdc436ef4c3a6be25bdb88f885 [diff] |
cleanup: this team no longer adapts pde.ui