diff gui/ui/actions.h @ 34201:079e40110dad

configure: merge DOCS/xml/configure into top-level configure
author diego
date Thu, 03 Nov 2011 14:23:14 +0000
parents 24d919fb6778
children f2c03009068d
line wrap: on
line diff