make 0.10.0 the default version

Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>
This commit is contained in:
Steven Armstrong 2015-07-23 23:36:20 +02:00
parent a234912406
commit 6fb35c7d90