chiark / gitweb /
overflow-tube: cut adjustments
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 12 Nov 2022 16:51:40 +0000 (16:51 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 12 Nov 2022 16:51:40 +0000 (16:51 +0000)
commit6e606d4d382cc1a7c5b1a8fc45abd34a1172c327
treeb0e8b713536b68b6481913ec23f63fd2347a0f03
parent88f802fd3443e4fcaedd794a1dcd3044f6dd7564
overflow-tube: cut adjustments

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
overflow-tube.ps.pl