a1346054 c3a6165307 scripts: use grep -E instead of egrep ... egrep is deprecated Closes #9491		2022-09-13 10:18:50 +02:00
..
ISSUE_TEMPLATE	bug_report.md: revert the REUSE template to see if it works again	2022-06-13 23:41:07 +02:00
workflows	scripts: use grep -E instead of egrep	2022-09-13 10:18:50 +02:00
CONTRIBUTING.md	copyright: make repository REUSE compliant	2022-06-13 09:13:00 +02:00
FUNDING.yml	copyright: make repository REUSE compliant	2022-06-13 09:13:00 +02:00
lock.yml	copyright: make repository REUSE compliant	2022-06-13 09:13:00 +02:00
stale.yml	copyright: make repository REUSE compliant	2022-06-13 09:13:00 +02:00