drjava.desktop


1
2
3
4
5
6
7
8

[Desktop Entry]
Type=Application
Version=2019-220051
Name=DrJava
Comment=Lightweight development environment for writing Java programs.
Exec=drjava
Terminal=false
Categories=Development;Education;Java;