# HG changeset patch
# User clasohm
# Date 814539240 -3600
# Node ID f5547274504472a647842265253b68c3351782ed
# Parent  e173be970d27c3d405e5d0d920269016cef54be0
added images for HTML files

diff -r e173be970d27 -r f55472745044 src/Tools/blue_arrow.gif
Binary file src/Tools/blue_arrow.gif has changed
diff -r e173be970d27 -r f55472745044 src/Tools/green_arrow.gif
Binary file src/Tools/green_arrow.gif has changed
diff -r e173be970d27 -r f55472745044 src/Tools/red_arrow.gif
Binary file src/Tools/red_arrow.gif has changed