Skip to content

Cleanup the scripts directory#3643

Merged
alex-jansen merged 3 commits intomainfrom
dead_scripts
Sep 26, 2024
Merged

Cleanup the scripts directory#3643
alex-jansen merged 3 commits intomainfrom
dead_scripts

Conversation

@MatthiasWiesmann
Copy link
Contributor

First pass on the scriptsdirectory. I basically fixed the scripts that

  • there big enough
  • whose purpose was clear
  • I had an idea on how to fix

And deleted the others, if they are actually needed, they can always be retrieved from the version control system.

@MatthiasWiesmann MatthiasWiesmann added the python Pull requests that update Python code label Sep 26, 2024
@alex-jansen alex-jansen merged commit 866fe9e into main Sep 26, 2024
@alex-jansen alex-jansen deleted the dead_scripts branch September 26, 2024 12:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

python Pull requests that update Python code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

Comments