mrcal-cull-corners(1) on Linux

The text f0b50d0538f4, as Debian 12 (Bookworm) shipped it.

Filters a corners.vnl on stdin to cut out some points

mrcal-cull-corners(1) on Linux now