/docs/

• ../
• emscripten_powered_by_logo.svg
• emscripten_switch_logo.eps
• emscripten_switch_logo.jpg
• emscripten_switch_logo.svg
• graph.png
• paper.pdf
• paper.tex
• splashpres.pdf