This repository has been archived on 2024-12-10. You can view files and clone it, but cannot push or open issues or pull requests.

Serge Schneider 150e25c4f8 Revert "Java 8 workaround" ... This reverts commit 3682a747bd.		2019-06-17 10:32:11 +01:00
..
00-packages	Revert "Java 8 workaround"	2019-06-17 10:32:11 +01:00