diff options
author | Basil L. Contovounesios <contovob@tcd.ie> | 2018-01-12 17:50:16 +0000 |
---|---|---|
committer | Basil L. Contovounesios <contovob@tcd.ie> | 2018-01-12 17:53:04 +0000 |
commit | da8e863c8997239706ee89a3150e13142d5bb233 (patch) | |
tree | e537ecf3b603bc928153cfa21065d83e49251170 /.github/workflows | |
parent | 88f69fe61955d655b774427ca95ce359f52d5e21 (diff) | |
download | bog-da8e863c8997239706ee89a3150e13142d5bb233.tar.gz |
Touch-up regexps
Fix quoting; remove redundancies; and prefer bos and eos to bol and
eol anchors, respectively, for filenames.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions