Antoine Beaubien 043e595ea0 Change pref name for ui.browsing.pageSize (#2817) ... Change the preference key name ui.gridPaginationSize for ui.browsing.pageSize.		2020-06-27 21:58:48 +02:00
..
modules/core	Change pref name for ui.browsing.pageSize (#2817)	2020-06-27 21:58:48 +02:00
WEB-INF	Revert "Revert "Migrate to Maven""	2018-09-16 15:34:47 +01:00