Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-22 12:28:03 +08:00
Code Issues Actions 30 Packages Projects Releases Wiki Activity
Files
98dc38379eb5e7aa0e5650b51d74b49d8ce1eec4
paparazzi/docker
T
History
Felix Ruess 98dc38379e [docker] add gedit to pprz-dep image
2015-07-07 21:01:04 +02:00
..
dep
[docker] add gedit to pprz-dep image
2015-07-07 21:01:04 +02:00
dev
[docker] set nicer gtk theme
2015-07-07 21:01:04 +02:00
Makefile
[docker] rename clean target to remove_images
2015-07-07 21:01:04 +02:00
run.sh
…