deb/intellij-idea-community
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Upstream release 2023.1.3

Browse source
This commit is contained in:
Marcel Kapfer 2023-06-21 16:21:01 +02:00
parent 2423119820
commit fedd17ea8b
Signed by: mmk2410
GPG key ID: CADE6F0C09F21B09
18 changed files with 9 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
intellij-idea-community_2023.1.3/debian/postrm Normal file
View file

@ -0,0 +1,8 @@
#!/bin/bash
set -e
## Remove the program folder
rm -rf /opt/intellij-idea-community
##DEBHELPER##