diff make/openjdk_distro @ 9206:c08d340ba2bf

remove useless /@formatter:off
author Lukas Stadler <lukas.stadler@jku.at>
date Mon, 22 Apr 2013 15:38:01 +0200
parents c18cbe5936b8
children
line wrap: on
line diff