diff Gui/Makefile @ 21181:d2a3e5845d17

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