diff Gui/interface.h @ 21181:d2a3e5845d17

Handle stubs.s like all other source files.
author diego
date Fri, 24 Nov 2006 23:49:30 +0000
parents e579e74d6c3c
children b806ccbc6398
line wrap: on
line diff