| commit | 82796d0529f9e24603e98ea056e6846492f71645 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Thu Jan 02 17:15:49 2014 +0100 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Thu Jan 02 17:15:49 2014 +0100 |
| tree | 788f6e0982ee935b9c75e2205e550f2d0e77965b | |
| parent | bb74eb39b9141873428a515b3d8afe46b89edc75 [diff] |
Fixed a build failure: better distinguish raw types.