Thibaud 97935e0b36 Use a local maven repository to handle jasmin dependency ... Cf. https://stackoverflow.com/a/36602256		2018-10-23 21:19:18 +02:00
..
jasmin/jasmin	Use a local maven repository to handle jasmin dependency	2018-10-23 21:19:18 +02:00