[Info-vax] Search for folders

[Lawrence D'Oliveiro]

On Sat, 27 Jan 2024 14:55:59 -0500, Arne Vajhøj wrote:

> [0,0] is a synonym for [000000].

Almost: you can write

    [000000...]

but, as I recall, you can’t write

    [0,0...]