Michael Droettboom a0046f2799 Fix #80: Delete emsdk if rerunning make		2018-07-18 18:45:20 -04:00
..
files	Fix patches again	2018-07-10 20:33:36 -04:00
patches	Patch in a different way that hopefully won't fail	2018-07-10 16:24:48 -04:00
Makefile	Fix #80: Delete emsdk if rerunning make	2018-07-18 18:45:20 -04:00
clean_for_dist.sh	Don't remove .emscripten	2018-04-19 17:35:56 -04:00