log +anim/make_movie.sh @ 405:4d9d8064e58b feature/SBPInTimeGauss

age author description
Wed, 02 Dec 2015 15:51:28 +0100 Jonatan Werpers Added bash script for compiling movie. Fixed so fig_mov respects figure size.