diff options
author | MarcoFalke <falke.marco@gmail.com> | 2020-05-31 18:52:59 -0400 |
---|---|---|
committer | MarcoFalke <falke.marco@gmail.com> | 2020-05-31 18:37:56 -0400 |
commit | faf62e6ed0ca45db44c370844c3515eb5a8cda12 (patch) | |
tree | 218a775fa8cd4e37dec092869be8ab3a6870e22c /contrib | |
parent | fa7c8509153bfd2d5b4dcff86ad27dfd73e8788b (diff) |
ci: Remove unused workaround
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions