v3.0b1
Michel Ludwig
@mludwig
b9939900
·
Don't expand the side bar by default
·
Sep 03, 2017
Kile 3.0 beta 1 (2.9.91)
