this is for holding javascript data
John Phillips Changed Figure Size
over 9 years ago
Commit id: f218f968f6c205cfb2741fc433294157ac6d65aa
deletions | additions
diff --git a/figures/disks/size.tex b/figures/disks/size.tex
index 2fcf78b..d638dc3 100644
--- a/figures/disks/size.tex
+++ b/figures/disks/size.tex
...
height = 700\nwidth = 500 width=800