diff .hgignore @ 91:fa7b1058b776

fix java source version.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Tue, 29 May 2018 21:20:49 +0200
parents 74cd973f6ece
children 8d79021099a4
line wrap: on
line diff