diff options
| author | Hugo Osvaldo Barrera <hugo@whynothugo.nl> | 2025-07-23 17:35:23 +0200 |
|---|---|---|
| committer | mark9064 <30447455+mark9064@users.noreply.github.com> | 2025-09-23 16:28:57 +0100 |
| commit | 09b1342eaeed8aa39d228315530ee91bca5b31cd (patch) | |
| tree | a2d9413fe02134ad6da8962fb888f773ad5851f3 /src/FreeRTOSConfig.h | |
| parent | 5516cc7e0a6fba913d67d226087c1b73e237dc84 (diff) | |
docs: remove superfluous link
The docker build section points to another page with instructions on how
to clone the repository, but this same page already contains these same
instructions in the previous section.
Diffstat (limited to 'src/FreeRTOSConfig.h')
0 files changed, 0 insertions, 0 deletions