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