Matthias Beyer de7a4d2dfb Integrate spinner for nicer progress reports		2018-01-03 16:00:46 +01:00
..
core	Integrate spinner for nicer progress reports	2018-01-03 16:00:46 +01:00
domain	Update version strings: 0.5.0 -> 0.6.0	2017-12-25 19:17:07 +01:00