Commit 0307814c authored by Bob Ham's avatar Bob Ham

Merge branch 'devkit-clean-up' into 'master'

Tidy up new devkit information

See merge request Librem5/developer.puri.sm!96
parents 842df384 535613c0
Pipeline #2770 passed with stage
in 3 minutes and 51 seconds