Richard Peter 359ee5d1af Issue #2170: Initial plugin rename for notification framework ... Change-Id: I3414d802e419433dcd6918422a12ce7105ae8b13 Former-commit-id: 8a8eff74685abb8a709480fa33f2c56dd7923ab9		2013-07-26 14:36:46 -05:00
..
org.eclipse.jdt.core.prefs	Issue #2170: Initial plugin rename for notification framework	2013-07-26 14:36:46 -05:00