Skip to content

Commit

Permalink
Remove unused run script (#426)
Browse files Browse the repository at this point in the history 
The run script is not really used – even though it might be useful when everything is running under a docker setup, we should not focus on maintaining it
  • Loading branch information
@fmrsabino
fmrsabino authored Feb 16, 2022
1 parent 36de676 commit 47a9366
Showing 1 changed file with 0 additions and 50 deletions.
50 changes: 0 additions & 50 deletions run
View file

This file was deleted.

0 comments on commit 47a9366

Please sign in to comment.