| gradle/wrapper | Update gradle + fix build | 2018-10-22 19:53:07 +01:00 | 
		
			
			
			
			
				| .gitattributes | Update Gradle wrapper to 3.0 (#2) | 2016-08-16 23:29:10 +01:00 | 
		
			
			
			
			
				| .gitignore | Rename jenkins file | 2018-10-22 19:30:59 +01:00 | 
		
			
			
			
			
				| gradle.properties | Revert to old name | 2018-10-22 19:25:18 +01:00 | 
		
			
			
			
			
				| gradlew | Update to gradle 4.7 | 2018-05-14 11:20:19 +01:00 | 
		
			
			
			
			
				| gradlew.bat | Use weave | 2016-09-22 20:33:47 +01:00 | 
		
			
			
			
			
				| HEADER | Update Gradle wrapper to 3.0 (#2) | 2016-08-16 23:29:10 +01:00 | 
		
			
			
			
			
				| Jenkinsfile | Rename jenkins file | 2018-10-22 19:30:59 +01:00 | 
		
			
			
			
			
				| LICENSE | Update Gradle wrapper to 3.0 (#2) | 2016-08-16 23:29:10 +01:00 | 
		
			
			
			
			
				| README.md | ongoing de-OMLification | 2018-10-24 22:07:18 +02:00 | 
		
			
			
			
			
				| settings.gradle | Update Gradle wrapper to 3.0 (#2) | 2016-08-16 23:29:10 +01:00 |