mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
parent
e6f85b7058
commit
c71004fdc8
@ -572,6 +572,7 @@
|
||||
|
||||
<copy tofile="linux/work/lib/arduino-arduinoide.xml" file="linux/dist/mime.xml" />
|
||||
<copy todir="linux/work/lib" file="linux/dist/desktop.template" />
|
||||
<copy todir="linux/work/lib" file="linux/dist/appdata.xml" />
|
||||
|
||||
<copy todir="linux/work" file="linux/dist/arduino" />
|
||||
<copy todir="linux/work" file="linux/dist/install.sh" />
|
||||
|
Loading…
x
Reference in New Issue
Block a user