github-repos/mirai
1
0
Fork 0
mirror of https://github.com/mamoe/mirai.git synced 2025-01-10 18:40:15 +08:00
Code Issues Packages Projects Releases Wiki Activity
e76cfe8c69
mirai/backend
History
Him188 e76cfe8c69 Implement PluginSetting and its auto-saving; 
Introduce PluginFileExtensions;
Introduce ResourceContainer;
Introduce SettingHolder;
Add extensions to JvmPlugin for getSetting;
Add Plugin.safeLoader extension to eliminate unchecked casting;
Various documentation improvements;
2020-06-27 00:16:36 +08:00
..
codegen Codegen for Setting_value_primitives 2020-06-24 03:53:13 +08:00
mirai-console Implement PluginSetting and its auto-saving; 2020-06-27 00:16:36 +08:00