Skip to content

Commit

Permalink
Merge pull request #116 from zsluedem/remove-obsolete-code
Browse files Browse the repository at this point in the history
Remove obsolete code
  • Loading branch information
zsluedem authored Jun 24, 2022
2 parents 7ad9059 + 516c43a commit 8a82d8e
Showing 1 changed file with 0 additions and 295 deletions.
295 changes: 0 additions & 295 deletions scripts/propose_in_turn.py

This file was deleted.

0 comments on commit 8a82d8e

Please sign in to comment.