comparison easyhg-extdiff.sh @ 664:cfe684675e81

Workaround for disappearing menubar under Ubuntu
author Chris Cannam
date Mon, 01 Sep 2014 16:12:33 +0100
parents d63711ff6740
children
comparison
equal deleted inserted replaced
662:43c61fd6fea4 664:cfe684675e81