this is for holding javascript data
Konstantin Stadler Changed Figure Size
almost 9 years ago
Commit id: 3ae3c2146e02af21f5b32753c46722f0cf0d04fb
deletions | additions
diff --git a/figures/mrioweb/size.tex b/figures/mrioweb/size.tex
index 6b423c5..bd00caf 100644
--- a/figures/mrioweb/size.tex
+++ b/figures/mrioweb/size.tex
...
width=1200 width=0
