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 /users/Profpatsch/.gitignore | |
| 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 'users/Profpatsch/.gitignore')
0 files changed, 0 insertions, 0 deletions