Commit 64f52fe9251c7dc35ddf2fa0b518172324f14da9

Edward Thomson 2021-11-11T12:47:02

examples: remove unused function