diff mxtool/.pydevproject @ 7739:0bf1c1c658c2

merge defaults from setDefaultOptions() into GraalOptions
author Roland Schatz <roland.schatz@oracle.com>
date Thu, 07 Feb 2013 11:39:57 +0100
parents 527724d26036
children
line wrap: on
line diff