Commit graph

3 commits

Author SHA1 Message Date
Steven Armstrong
27966c058b +ideas for types
Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>
2011-06-24 15:38:34 +02:00
Nico Schottelius
bf0acc2e31 +correction
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
2011-06-24 15:07:29 +02:00
Steven Armstrong
4a9456787c +log cinst preos
Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>
2011-06-24 15:02:20 +02:00