diff options
author | Profpatsch <mail@profpatsch.de> | 2023-05-28T15·20+0200 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2023-07-13T20·50+0000 |
commit | 6a15e8e71ab318b47e4c62d90f8e541b45df7fd4 (patch) | |
tree | 2c3a0401444f4447eca98b51fe742de36a1c83ce /third_party/git/t/t7812-grep-icase-non-ascii.sh | |
parent | 909b4fafb8ffc9574fd1f09673893802f6510deb (diff) |
chore(users/Profpatsch): replace Label with pa-label r/6407
We upstreamed some of these modules to hackage, so I can get rid of it here. Change-Id: I70e1e864a81029cadbbd96cc019a768728431cff Reviewed-on: https://cl.tvl.fyi/c/depot/+/8659 Reviewed-by: Profpatsch <mail@profpatsch.de> Tested-by: BuildkiteCI Autosubmit: Profpatsch <mail@profpatsch.de> Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'third_party/git/t/t7812-grep-icase-non-ascii.sh')
0 files changed, 0 insertions, 0 deletions