f7e4252 Makefile: Add PULL_EXTRA_OPTIONS
Makefile: Add PULL_EXTRA_OPTIONS
~abcdw pushed to ~abcdw/guix-pinephonepro git
b57f8c6 Document make targets, installation and debugging tips
Document make targets, installation and debugging tips