mirai/frontend
Him188 74925ff6e8 Public api stabilization:
Separate PluginManager and its implementations;
Add Setting extensions;
Documentation updates
2020-07-31 16:35:41 +08:00
..
mirai-android@9784f7cd38 Link MiraiAndroid 2020-06-24 16:38:34 +08:00
mirai-console-graphical Fix warnings 2020-06-21 00:47:52 +08:00
mirai-console-pure Public api stabilization: 2020-07-31 16:35:41 +08:00
mirai-console-terminal Fix warnings 2020-06-21 00:47:52 +08:00