this is for holding javascript data
Volker Strobel added file figures/gui/gui_original.png
almost 8 years ago
Commit id: 8c17083f943a525a87d07672687277470eb29c0e
deletions | additions
diff --git a/figures/gui/gui_original.png b/figures/gui/gui_original.png
new file mode 100644
index 0000000..be64430
Binary files /dev/null and b/figures/gui/gui_original.png differ