tree 08a2a58539d7cee6d56ae65fdefd12771491d3c1
parent b7c1459aca3b4ad243966dcdb1a452a73ec8d9a6
author Aayush Gupta <aayushgupta219@gmail.com> 1679904948 +0530
committer Aayush Gupta <aayushgupta219@gmail.com> 1688407107 +0530

Migrate to new plugins and dependency management system

* Ensure every plugin is present in project's plugin block with version
* Switch to full plugin id for jetbrains plugins
* Move plugin and dependency repos to settings

Signed-off-by: Aayush Gupta <aayushgupta219@gmail.com>