1 2 3 4 5 6 7 8 9 10 11 12 13
plugins { id 'java' id 'ch.fhnw.thga.frege' version '4e72b93' } frege { version = '3.25.84' release = '3.25alpha' } dependencies { }