Skip to content

Commit

Permalink
a
Browse files Browse the repository at this point in the history
  • Loading branch information
ZachIsBeautiful committed Nov 27, 2023
1 parent 7aa45ba commit 374a99b
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions strategies.json
Original file line number Diff line number Diff line change
Expand Up @@ -59,12 +59,6 @@
"Behavior": 1,
"args": {}
},
{
"Name": "Fish",
"Used": true,
"Behavior": 1,
"args": {}
},
{
"Name": "Gurth\u0027s Theorem",
"Used": true,
Expand Down Expand Up @@ -227,6 +221,12 @@
"Behavior": 2,
"args": {}
},
{
"Name": "Fish",
"Used": true,
"Behavior": 1,
"args": {}
},
{
"Name": "Almost Locked Sets",
"Used": true,
Expand Down

0 comments on commit 374a99b

Please sign in to comment.