Peder Bergebakken Sundt a0396ab411 treewide: use src.name in sourceRoot		2024-08-02 14:56:50 +02:00
..
brokenPlugins.json	jetbrains.{idea,pycharm}-community-src: 2023.3.2 -> 2024.1.3	2024-06-21 20:39:02 +08:00
build_maven.py
build.nix	treewide: use src.name in sourceRoot	2024-08-02 14:56:50 +02:00
default.nix	jetbrains.{idea,pycharm}-community-src: 2023.3.2 -> 2024.1.3	2024-06-21 20:39:02 +08:00
idea_maven_artefacts.json	jetbrains.{idea,pycharm}-community-src: 2023.3.2 -> 2024.1.3	2024-06-21 20:39:02 +08:00