Return more primitive information with --dump-info#382

MaartenS11 wants to merge 1 commit into

mainTOPLLab/WARDuino:mainfrom

feat/dump-info-primitivesTOPLLab/WARDuino:feat/dump-info-primitivesCopy head branch name to clipboard