this is for holding javascript data
Volker Strobel Changed Figure Size
almost 8 years ago
Commit id: 219198e36c03f21a10756073e5139a4a842ea352
deletions | additions
diff --git a/figures/dict/size.tex b/figures/dict/size.tex
index 2fcf78b..a5aea8a 100644
--- a/figures/dict/size.tex
+++ b/figures/dict/size.tex
...
height = 700\nwidth = 500 width=320
