diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2022-07-08 14:59:33 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-08-03 00:05:26 +1000 |
| commit | be83c08f463c75bb52619ea4f35b5256fc479158 (patch) | |
| tree | 93e98ea52eb16133f8b68b75b8336c2ec07c6950 /docs/esp8266 | |
| parent | 9a1b7d8448346b353e3aa7ae11ff2b441b6d5313 (diff) | |
ports: Always append to GIT_SUBMODULES.
Avoids overwriting submodules required by base makefiles.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'docs/esp8266')
0 files changed, 0 insertions, 0 deletions