comparison Gui/interface.h @ 6356:b54d7fd6471a

This script has no bash specific stuff, it's all standard bourne shell, so execute with sh. Also see mail from Michaela.
author atmos4
date Sun, 09 Jun 2002 14:48:16 +0000
parents cf2c2b92d1a7
children f554e7271587
comparison
equal deleted inserted replaced
6355:e97686ab386b 6356:b54d7fd6471a