| gradle/wrapper | Merge branch 'pull/110' into dev/0.2.5 | 2019-06-24 11:17:45 +01:00 | 
		
			
			
			
			
				| .editorconfig | add gradle plugin marker (#11) | 2018-11-03 13:01:34 +00:00 | 
		
			
			
			
			
				| .gitattributes | Update Gradle wrapper to 3.0 (#2) | 2016-08-16 23:29:10 +01:00 | 
		
			
			
			
			
				| .gitignore | add gradle plugin marker (#11) | 2018-11-03 13:01:34 +00:00 | 
		
			
			
			
			
				| build.gradle | update libraries | 2019-06-29 11:43:13 +02:00 | 
		
			
			
			
			
				| gradle.properties | Revert to old name | 2018-10-22 19:25:18 +01:00 | 
		
			
			
			
			
				| HEADER | add license header | 2018-10-27 16:14:05 +02:00 | 
		
			
			
			
			
				| Jenkinsfile | Merge branch 'pull/110' into dev/0.2.5 | 2019-06-24 11:17:45 +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 |