Marvin Rösch 50e268bdf5 Make registries persist by default, fixes #3989 (#3998)		2017-06-15 13:00:46 -07:00
..
java	Make registries persist by default, fixes #3989 (#3998)	2017-06-15 13:00:46 -07:00
resources	Initial patch update to 1.12.	2017-06-10 22:22:02 -04:00