github-repos/mirai
1
0
Fork 0
mirror of https://github.com/mamoe/mirai.git synced 2025-04-01 20:50:15 +08:00
Code Issues Packages Projects Releases Wiki Activity
64f4f8c208
mirai/mirai-console/tools/intellij-plugin/src
History
Samarium f0bdd18d26
[idea] feat: provide an option for whether to use the proxy repo (#2636) 
* feat(idea): set proxy repository for gradle plugins

* feat(idea): provide an option for whether to use the proxy repo

* chore: update copyright

* fix: rename the message key
2023-04-24 15:22:38 +01:00
..
assets [idea] feat: generate gradle-wrapper.properties and src/test directory (#2622) 2023-04-15 15:01:10 +01:00
diagnostics [idea] Update to IDEA 2023.1, plugin version 231-2.15.0-182-1 2023-04-01 18:26:17 +01:00
line/marker Migrate use of deprecated LineMarkerInfo constructor 2022-04-20 17:56:12 +01:00
resolve [idea] Support IDEA 2022.3 2022-12-22 13:27:45 +00:00
util Move all files into mirai-console subfolder 2021-12-06 14:51:44 +00:00
wizard [idea] feat: provide an option for whether to use the proxy repo (#2636) 2023-04-24 15:22:38 +01:00
IDEContainerContributor.kt [idea] Support IDEA 2022.3 2022-12-22 13:27:45 +00:00
QuickFixRegistrar.kt Move all files into mirai-console subfolder 2021-12-06 14:51:44 +00:00