intellij
|
java/intellij: Update to version 2018.3.3
|
2019-01-12 10:37:51 +00:00 |
intellij-ultimate
|
Fix plist
|
2019-01-07 09:07:06 +00:00 |
java-zoneinfo
|
. Update to 2018g.
|
2018-11-17 17:22:28 +00:00 |
jd-gui
|
Remove MASTER_SITES=GH when it is the only one.
|
2019-01-08 13:20:19 +00:00 |
netbeans
|
Update netbeans to 10.0.
|
2018-12-31 15:18:58 +00:00 |
visualvm
|
java/visualvm: update to 1.4.2
|
2018-12-04 22:42:03 +00:00 |