this is for holding javascript data
Alberto Pepe Changed Figure Size
over 9 years ago
Commit id: f48f01fc61cfdce6e5573847b49f72afabfa93fa
deletions | additions
diff --git a/figures/gitbutton/size.tex b/figures/gitbutton/size.tex
index 2fcf78b..f8caa07 100644
--- a/figures/gitbutton/size.tex
+++ b/figures/gitbutton/size.tex
...
height = 700\nwidth = 500 width=260
