Geert-Jan Giezeman 3908079b81 *** empty log message ***		1999-10-20 08:51:50 +00:00
..
package_handling	invoke every 5 minutes (istead of 10)	1999-09-24 14:49:20 +00:00
public_release	Adapted license	1999-09-08 08:48:43 +00:00
release_building	*** empty log message ***	1999-10-20 08:51:50 +00:00
support	Replaced w3mir by wget	1999-09-20 08:41:21 +00:00
test_handling	Pass option to to_zipped_format to check whether the version info is consistent	1999-10-12 07:14:37 +00:00