this is for holding javascript data
Konstantin Stadler Changed Figure Size
about 9 years ago
Commit id: e31e2a5ba0e980c4a1b8b04c633ae403f9afd77e
deletions | additions
diff --git a/figures/web7/size.tex b/figures/web7/size.tex
index 2fcf78b..be163a6 100644
--- a/figures/web7/size.tex
+++ b/figures/web7/size.tex
...
height = 700\nwidth = 500 width=700
