May 15, 2011
8:32 a.m.
12353 ----- Issue 3732: Change #standardWindowExtent Was: default omni browser size bigger - do #releaseClean - set version to 1.2.2 -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.