diff options
| author | Ben Hutchings <ben.hutchings@codethink.co.uk> | 2020-09-10 19:24:13 +0100 |
|---|---|---|
| committer | Ben Hutchings <ben.hutchings@codethink.co.uk> | 2020-09-10 21:57:55 +0100 |
| commit | f1645c257aee39176b564338317f113660dfd265 (patch) | |
| tree | 569a8d9da5fb2b49ea19496796ce08d5e1dd7177 /open-source-lorries/ipmitool.lorry | |
| parent | 5f9c18143473871f995e1259d79f1961fa820674 (diff) | |
| download | lorries-f1645c257aee39176b564338317f113660dfd265.tar.gz | |
Update mirroring of FreeRTOS
FreeRTOS moved from Sourceforge to GitHub. Since it switched from
Subversion to Git, use a different name for the new mirror. Mark the
old mirror as obsolete.
Diffstat (limited to 'open-source-lorries/ipmitool.lorry')
0 files changed, 0 insertions, 0 deletions