tree c280b3ff75ccddb38be2de2cf491a2a4b9bfc42a
parent 3789c789574623e40ebaa29913e58bda9dacd42f
author Phil Howard <phil@gadgetoid.com> 1631547567 +0100
committer Phil Howard <phil@gadgetoid.com> 1631547567 +0100

pico: exclude some more examples