summaryrefslogtreecommitdiff
path: root/inputs/day17.input
diff options
context:
space:
mode:
authorAndreas Grois <andi@grois.info>2024-12-17 20:00:48 +0100
committerAndreas Grois <andi@grois.info>2024-12-17 20:00:48 +0100
commitbb6cbe0fe0c415fee1ece7980b0667055b0ed2db (patch)
tree846b0d59555affa540000b6b84db02629f8cac00 /inputs/day17.input
parent19d4b4e41a967c0c8b3329cd1c4a0617178c5a94 (diff)
Remove useless simp_wf tactic callsHEADmain
Diffstat (limited to 'inputs/day17.input')
0 files changed, 0 insertions, 0 deletions