log easyhg.pro @ 664:cfe684675e81

age author description
Mon, 01 Sep 2014 16:12:33 +0100 Chris Cannam Workaround for disappearing menubar under Ubuntu