this is for holding javascript data
Hans Moritz Günther Changed Figure Size
about 10 years ago
Commit id: c3062c80a533f9709727e8125fce7b493d955d5d
deletions | additions
diff --git a/figures/v_infty/size.tex b/figures/v_infty/size.tex
index 2fcf78b..d638dc3 100644
--- a/figures/v_infty/size.tex
+++ b/figures/v_infty/size.tex
...
height = 700\nwidth = 500 width=800
