mirror/curl
2
0
Fork 0
mirror of https://github.com/curl/curl.git synced 2024-12-15 06:40:09 +08:00
Code Issues Packages Projects Releases Wiki Activity
c3a6165307
curl/.github
History
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