this is for holding javascript data
Ulisses Telemaco Changed Figure Size
over 9 years ago
Commit id: 7831bc84c2525e51db01f2e3a7c968979b872239
deletions | additions
diff --git a/figures/operator-refinement/size.tex b/figures/operator-refinement/size.tex
index c5f9d92..ed514c3 100644
--- a/figures/operator-refinement/size.tex
+++ b/figures/operator-refinement/size.tex
...
width=500 width=400
