tree c159d82ebb788e385edbeb04c8a97edfa47791c8
parent 7f8d1c20f19deff1f1a43d324fd58e456926c140
author Wenzel Jakob <wenzel@inf.ethz.ch> 1448883028 +0100
committer Wenzel Jakob <wenzel@inf.ethz.ch> 1448883934 +0100

generic integer type handling