this is for holding javascript data
Mikhail Kuzmin Changed Figure Size
almost 8 years ago
Commit id: 391c97ebfa229f4702e6a132e3954176f11acd80
deletions | additions
diff --git a/figures/coder/size.tex b/figures/coder/size.tex
index 2fcf78b..e8f1ee7 100644
--- a/figures/coder/size.tex
+++ b/figures/coder/size.tex
...
height = 700\nwidth = 500 width=1000
