gui:edit:options
Media Manager
Namespaces
Choose namespace
Media Files
Files in plugin:utilities:arduino_and_general_serial_macro_extensions
- arduext.jpg
- 99×99
- 2019/04/12 13:17
- 2.5 KB
- arduino_ext.jar
- 2019/04/12 13:17
- 5.3 KB
- serial_ext.jar
- 2019/04/12 13:17
- 5.3 KB
File
gui/edit/options.txt · Last modified: 2019/04/12 13:13 by 127.0.0.1