drochner 7eddea52d9 update to 3.3.20 ... changes: -Added --slider-zoom option to gtkwave to enable experimental horizontal slider zoom feature -bugfixes		2011-03-16 17:31:12 +00:00
..
patch-aa	update to 3.3.20	2011-03-16 17:31:12 +00:00