| commit | 040d1256459a69cd89cd77c1dab955caf1b34707 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Aug 13 22:39:17 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Aug 13 22:39:17 2011 +0000 |
| tree | e23a5498f5b22270fd0bdf345fd6c3f5d3be697c | |
| parent | 78020b47ac6ec78dc2b39455b589efa205da9ed9 [diff] |
get rid of warnings in these two plugins