2011/08/02 18:13  wlallemand@wlallemand-desktop

	* released gawk-3.1.1-flx1.2
	* x86_64

2010/12/01 14:02  emeric@ebr-laptop

	* released gawk-3.1.1-flx1.1

2006/07/01 15:42  willy@wtap

	* added lots of examples