comparison Gui/interface.h @ 8847:7da2d67e8ef4

Moved ARM to the Linux ports section where it belongs.
author diego
date Wed, 08 Jan 2003 22:08:59 +0000
parents c6a1a5b6ba25
children 4a42c0604ce1
comparison
equal deleted inserted replaced
8846:e293d5eccd41 8847:7da2d67e8ef4