Volker Ruppert 4e878a1ef9 - implemented "hideIPS" option in the win32 gui		2012-08-29 20:36:12 +00:00
..
docbook	- implemented "hideIPS" option in the win32 gui	2012-08-29 20:36:12 +00:00
man	- rewrite of the "show ips" feature similar to other guis	2012-08-28 17:16:10 +00:00