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 | 5c72122bf4361d2811201aa5205d2cb1d172b215 (patch) | |
| tree | 3398f39c981e05829779dc0ade38c29d5448726c /pdf/.gitignore | |
| parent | Remove pattend from hi (diff) | |
| download | src-5c72122bf4361d2811201aa5205d2cb1d172b215.tar.gz src-5c72122bf4361d2811201aa5205d2cb1d172b215.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 'pdf/.gitignore')
0 files changed, 0 insertions, 0 deletions