comparison make/linux/makefiles/launcher.make @ 3646:148584b96a34

Remove ci usage for accessing branch probability.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Wed, 16 Nov 2011 15:58:18 +0100
parents 06f017f7daa7
children 33df1aeaebbf
comparison
equal deleted inserted replaced
3645:9c2c0a182f13 3646:148584b96a34