fix gif_file param handling in show_anim (#42)
#96
| Job | Run time |
|---|---|
| 33s | |
| 48s | |
| 1m 21s |
gif_file param handling in show_anim (#42)
#96
| Job | Run time |
|---|---|
| 33s | |
| 48s | |
| 1m 21s |