Jos de Jong eae02fb43f fixed displaying of an odd number of spaces in a string (was displaying n-1 spaces instead of n).		2012-07-22 21:09:48 +02:00
..
.gitignore	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00
add_gray.svg	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00
add_green.svg	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00
array_blue.svg	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00
array_gray.svg	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00
auto_blue.svg	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00
auto_gray.svg	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00
colors.txt	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00
delete_gray.svg	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00
delete_red.svg	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00
dots_gray.svg	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00
duplicate_blue.svg	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00
duplicate_gray.svg	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00
export.sh	fixed displaying of an odd number of spaces in a string (was displaying n-1 spaces instead of n).	2012-07-22 21:09:48 +02:00
object_blue.svg	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00
object_gray.svg	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00
string_blue.svg	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00
string_gray.svg	Recreated the icons, now in SVG format, including a script to export them to PNG's and GIF's	2012-07-22 20:59:08 +02:00