diff make/defs.make @ 1932:e6500c6c5e24

Removed launch configuration.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Tue, 21 Dec 2010 17:09:37 +0100
parents 126ea7725993
children c7db7adb83b4
line wrap: on
line diff