Christian 59949849f0 Add a "checkpatches" target and check if your patches are up to date before running a repatch operation		2012-07-06 09:19:58 -04:00
..
org.eclipse.jdt.core.prefs	Add a "checkpatches" target and check if your patches are up to date before running a repatch operation	2012-07-06 09:19:58 -04:00