javaextensions/mobinfo/build/bwins/javamobinfou.def
changeset 47 f40128debb5d
parent 21 2a9601315dfc