diff options
| author | June McEnroe <june@causal.agency> | 2019-02-10 17:41:16 -0500 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2019-02-10 17:41:16 -0500 |
| commit | 442f80f81a7f05f0669eb9a31c8809ba0949692c (patch) | |
| tree | 17adb35838bf4f432e54cf1ff0b0c50d423b4f92 /port/cgram/.gitignore | |
| parent | Remove pattend from hi (diff) | |
| download | src-442f80f81a7f05f0669eb9a31c8809ba0949692c.tar.gz src-442f80f81a7f05f0669eb9a31c8809ba0949692c.zip | |
Skip only one character if a match fails due to parent
Really it should skip forward until the parent changes, but this is simpler.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions