diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-08-14 00:51:39 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-08-14 00:51:39 -0500 |
commit | 96b970c71bcc37fa62962aad88ce1715c0abcc86 (patch) | |
tree | 26f728ba96163dfc9ed361da8b54e8bc9d5947d0 /java/arduino/arduino.install | |
parent | 79e88b0afb93ad661326ecfc1516441d86e6649f (diff) | |
download | abslibre-96b970c71bcc37fa62962aad88ce1715c0abcc86.tar.gz abslibre-96b970c71bcc37fa62962aad88ce1715c0abcc86.tar.bz2 abslibre-96b970c71bcc37fa62962aad88ce1715c0abcc86.zip |
Removing java/arduino. Use pcr/arduino instead
Diffstat (limited to 'java/arduino/arduino.install')
-rw-r--r-- | java/arduino/arduino.install | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/java/arduino/arduino.install b/java/arduino/arduino.install deleted file mode 100644 index c222e1b6d..000000000 --- a/java/arduino/arduino.install +++ /dev/null @@ -1,9 +0,0 @@ -post_install() { - xdg-icon-resource install --size 256 --novendor /usr/share/pixmaps/arduino.png -} - -pre_remove() { - xdg-icon-resource uninstall --size 256 arduino -} - -# vim:set ts=2 sw=2 et: |