mirai/backend
Him188 74925ff6e8 Public api stabilization:
Separate PluginManager and its implementations;
Add Setting extensions;
Documentation updates
2020-07-31 16:35:41 +08:00
..
codegen Explicit APIs 2020-07-11 19:26:31 +08:00
mirai-console Public api stabilization: 2020-07-31 16:35:41 +08:00