diff help/a-20.html @ 664:cfe684675e81

Workaround for disappearing menubar under Ubuntu
author Chris Cannam
date Mon, 01 Sep 2014 16:12:33 +0100
parents 21aa41b62c3a
children
line wrap: on
line diff