tree eebfe3b4dd5ec4760e0fc48d606951cfcca3a97d
parent 91903272512a7407bf221ff7736f31dc04d6139d
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1273223496 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1273223496 +0000

Fix one hidden occurrence of org.objectteams prefix, with '_' separator!