diff Gui/Makefile @ 8847:7da2d67e8ef4

Moved ARM to the Linux ports section where it belongs.
author diego
date Wed, 08 Jan 2003 22:08:59 +0000
parents 226e6866212d
children 0a665389cf2b
line wrap: on
line diff