/* [wxMaxima batch file version 1] [ DO NOT EDIT BY HAND! ]*/
/* [ Created with wxMaxima version 20.07.0-DevelopmentSnapshot ] */
/* [wxMaxima: input   start ] */
wxanimate_from_imgfiles("a.png","b.png","c.png","d.png")$
/* [wxMaxima: input   end   ] */



/* Old versions of Maxima abort on loading files that end in a comment. */
"Created with wxMaxima 20.07.0-DevelopmentSnapshot"$
