Florian Schmaus d97fb126a1 Add PubSubManager.getInstanceFor() just like all other Managers ... and deprecate PubSubManager.getInstance().		2019-04-16 11:21:22 +02:00
..
PepListener.java	Rename PEP to Pep	2018-08-15 20:15:57 +02:00
PepManager.java	Add PubSubManager.getInstanceFor() just like all other Managers	2019-04-16 11:21:22 +02:00
package-info.java	Add missing package-info descriptions.	2018-02-21 16:47:11 +01:00