-
Michael Hanselmann authored
This reverts commit 94014b63 . Turns out I misunderstood the “extglob” shell option. Signed-off-by: Michael Hanselmann <hansmi@google.com> Reviewed-by: Bernardo Dal Seno <bdalseno@google.com>
34dfced1
This reverts commit 94014b63 . Turns out I misunderstood the “extglob” shell option. Signed-off-by: Michael Hanselmann <hansmi@google.com> Reviewed-by: Bernardo Dal Seno <bdalseno@google.com>