diff options
| author | MDC Service <michael.schmid@mdc-service.de> | 2022-05-25 13:07:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-25 13:07:19 +0200 |
| commit | ddd05b2c7e4b5c9f95f913b5ca24be9edc5bd7bb (patch) | |
| tree | 47bd8efdb41386734333bdc6f199901784f1915f /software/export.sh | |
| parent | 124d22828708d4d3d843addeeb62d049c1c05fc2 (diff) | |
replace files with copyright header and Doxygen comments
Diffstat (limited to 'software/export.sh')
| -rw-r--r-- | software/export.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/software/export.sh b/software/export.sh deleted file mode 100644 index adf35ae..0000000 --- a/software/export.sh +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/sh -. ../esp-idf/export.sh |