Riccardo Finotello ddd27af7cd Remove old file ...

Signed-off-by: Riccardo Finotello <riccardo.finotello@gmail.com>

2020-08-31 10:39:16 +02:00

..

workflows

Remove old file

2020-08-31 10:39:16 +02:00