Florian Schmaus 27808e9e8c Make PingManager use Manager.schedule()		2018-02-26 10:24:35 +01:00
..
java/org/jivesoftware	Make PingManager use Manager.schedule()	2018-02-26 10:24:35 +01:00
resources/org.jivesoftware.smack.extensions	Move ChatStateExtension Provider in its own class	2017-01-23 22:59:53 +01:00