diff options
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -10,3 +10,4 @@ doc/html *I.h manager/bin/distrio_manager generic_gpio/distrio_generic_gpio +devices/simple_dev/distrio_simple_dev |
![]() |
index : manut/distrio | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |
| -rw-r--r-- | .gitignore | 1 |
@@ -10,3 +10,4 @@ doc/html *I.h manager/bin/distrio_manager generic_gpio/distrio_generic_gpio +devices/simple_dev/distrio_simple_dev |