diff options
| author | dylan.araps@gmail.com <dylan.araps@gmail.com> | 2020-01-14 09:59:29 +0000 |
|---|---|---|
| committer | dylan.araps@gmail.com <dylan.araps@gmail.com> | 2020-01-14 09:59:29 +0000 |
| commit | 50232e8aa98566c4e3b049807f6d23224531492c (patch) | |
| tree | cf40a3334ad8068760fe6caf5d3b605550da3e2a /.github/workflows | |
| parent | 577be1c75fdcbe12339f82c3d25b64e475ccec6f (diff) | |
| download | cpt-50232e8aa98566c4e3b049807f6d23224531492c.tar.gz | |
kiss: Use ggrep if available
FossilOrigin-Name: e87e775802d26acac691dc5f83feb075b31d8210c36455d0610bbb310d1d800d
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions