diff options
Diffstat (limited to '')
| -rw-r--r-- | dotsandboxes/agents/agent_random.py (renamed from python/dotsandboxes/dotsandboxesagent.py) | 0 | ||||
| -rwxr-xr-x | python/dotsandboxes/dotsandboxesagent | 5 |
2 files changed, 0 insertions, 5 deletions
diff --git a/python/dotsandboxes/dotsandboxesagent.py b/dotsandboxes/agents/agent_random.py index abf677b..abf677b 100644 --- a/python/dotsandboxes/dotsandboxesagent.py +++ b/dotsandboxes/agents/agent_random.py diff --git a/python/dotsandboxes/dotsandboxesagent b/python/dotsandboxes/dotsandboxesagent deleted file mode 100755 index eecf719..0000000 --- a/python/dotsandboxes/dotsandboxesagent +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/bash -# It is not necessary to use a shell script for this. Dropping the .py -# extension and including the correct shebang is also correct. -python3 $(dirname "$0")/dotsandboxesagent.py $@ - |