GitHub/DeviceKit
1
0
Fork 0
mirror of https://github.com/devicekit/DeviceKit.git synced 2026-05-17 10:20:34 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
1.13.0
DeviceKit/Scripts
T
History
Dennis Weissmann 5d122844a0 make push script executable
2017-06-11 16:19:16 +02:00
..
push.sh
make push script executable
2017-06-11 16:19:16 +02:00