Upstream release 2018.3.1

This commit is contained in:
Marcel Kapfer 2018-12-09 23:50:25 +01:00
parent f16547283f
commit df985bd196
Signed by: mmk2410
GPG key ID: CADE6F0C09F21B09
18 changed files with 8 additions and 2 deletions

View file

@ -0,0 +1,10 @@
#!/bin/bash
set -e
cd /opt/
## Download IntelliJ IDEA Community from the jetbrain servers
wget -c https://download-cf.jetbrains.com/idea/ideaIU-2018.3.1.tar.gz
##DEBHELPER##