diff options
| author | tslil clingman <tslil@posteo.de> | 2021-02-02 19:23:54 -0500 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-08-28 19:37:41 +0100 |
| commit | 40c6b1dafab4de169bac8a799e7953e85061218e (patch) | |
| tree | 99d86e8f90e8aa19b35875ea8ba624c50c467857 /resources | |
| parent | 11956b2e940f5e1839efab187d898092e819a766 (diff) | |
TEI interface working!
Diffstat (limited to 'resources')
| -rwxr-xr-x | resources/extract.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/extract.sh b/resources/extract.sh index e9cd62a..fb2c30d 100755 --- a/resources/extract.sh +++ b/resources/extract.sh @@ -2,7 +2,7 @@ db_file=games_anon.db -chosen_players="AaaarghBot Tiltak_Bot Taktician" +chosen_players="AaaarghBot Tiltak_Bot TakticianBot" query() { query="(size == $1) and (result != '1-0') and (result != '0-1') and (result != '0-0') and (result != '1/2-1/2')" |