comparison THIRD_PARTY_README @ 13982:b167b1838029

mx eclipseinit: take care of working sets that were edited by hand
author Michael Haupt <michael.haupt@oracle.com>
date Thu, 20 Feb 2014 11:14:46 +0100
parents f6ba9007b2c6
children 9a48187fef5e
comparison
equal deleted inserted replaced
13981:a1b71ebfdf5f 13982:b167b1838029