Commit graph

3 commits

Author SHA1 Message Date
github-actions[bot]
34190fb28e
Plugin Updates (#5)
Co-authored-by: theCapypara <3512122+theCapypara@users.noreply.github.com>
2024-12-14 11:07:03 +01:00
Marco "Capypara" Köpcke
465f62cc94
fix #4: make sure plugins are not removed from all_plugins.json, unless unused 2024-12-11 12:01:46 +01:00
Marco "Capypara" Köpcke
aeafc08f95
fix mps, add list of supported IDEs 2024-12-11 10:00:14 +01:00
Renamed from generated/ides/MPS-2023.2.2.json (Browse further)