diff options
| author | Raphael Zimmermann <mail@raphael.li> | 2025-11-16 13:28:15 +0100 |
|---|---|---|
| committer | Raphael Zimmermann <mail@raphael.li> | 2025-11-16 16:14:09 +0100 |
| commit | b351ffa2e48953286b2bdd1d29fe5e8dcbe986a3 (patch) | |
| tree | 3ac50961b53ee4835dc8b23ce93b752838c66e10 /pkgs/development/python-modules/rangehttpserver/default.nix | |
| parent | e0c298ca479f3ebf9da71d6102cc0fd38965614d (diff) | |
eclipses.plugins: Remove scala plugin
The Eclipse Scala IDE is officially deprecated, see https://github.com/scalacenter/advisoryboard/blob/e45b942356f8f59c8661a77bf227cd77985cd7e0/proposals/033-deprecate-scala-ide.md
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver/default.nix')
0 files changed, 0 insertions, 0 deletions