Yanming Zhou 6c5476780e Treat MariaDB as MySQL ...

MariaDB is a fork of MySQL

2019-02-13 15:25:52 -06:00

..

item

Fix Javadoc errors

2019-01-30 09:30:08 +01:00

jsr

Add JSR-305 annotations to public APIs

2018-07-19 22:58:24 +02:00

poller

Replace explicit type with diamond operator in infrastructure module

2018-11-06 21:03:33 +01:00

repeat

Replace explicit type with diamond operator in infrastructure module

2018-11-06 21:03:33 +01:00

support

Treat MariaDB as MySQL

2019-02-13 15:25:52 -06:00

package-info.java

Add JSR-305 annotations to public APIs

2018-07-19 22:58:24 +02:00