~cpn-gui/tapaal/typeChecker

~cpn-gui/tapaal/typeChecker » Changes to gradle from revision 1021

From Revision 1021

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
969		merged in branch lp:~yrke/tapaal/tapaal-gradlebuild adding ... merged in branch  lp:~yrke/tapaal/tapaal-gradlebuild adding gradle build support (not fully functional yet, so official builds should be done using make)	Jiri Srba	5 years ago