this is for holding javascript data
Chuck-Hou Yee Changed Figure Size
over 7 years ago
Commit id: 27b2afb47c34a96f4215521a91e56981bbd3490c
deletions | additions
diff --git a/figures/functional-stack/size.tex b/figures/functional-stack/size.tex
index 2fcf78b..be163a6 100644
--- a/figures/functional-stack/size.tex
+++ b/figures/functional-stack/size.tex
...
height = 700\nwidth = 500 width=700