diff Gui/interface.h @ 19563:661d6c8a4adb

Add -(no)ass-use-margins option.
author eugeni
date Mon, 28 Aug 2006 15:12:45 +0000
parents e579e74d6c3c
children b806ccbc6398
line wrap: on
line diff