Jules Aguillon 8bef0728ae Turn the "precision" option to dp instead of px		2021-12-30 21:59:48 +01:00
..
juloo.common	Auto-format Java and XML files	2021-12-19 19:44:27 +01:00
juloo.keyboard2	Turn the "precision" option to dp instead of px	2021-12-30 21:59:48 +01:00