KeYProject
diff --git a/‎README.old.md
Lines changed: 0 additions & 1 deletion b/‎README.old.md
Lines changed: 0 additions & 1 deletion
diff --git a/‎dist/index.js
Lines changed: 64 additions & 30 deletions b/‎dist/index.js
Lines changed: 64 additions & 30 deletions
diff --git a/‎dist/index.js.map
Lines changed: 1 addition & 1 deletion b/‎dist/index.js.map
Lines changed: 1 addition & 1 deletion
@@ -138,7 +138,6 @@ So, what are you waiting for? Go ahead and start customizing your action!
    to a repository.
 
    The `local-action` utility can be run in the following ways:
-
    - Visual Studio Code Debugger
 
      Make sure to review and, if needed, update