Geert-Jan Giezeman 2e383d3d64 Pass option to to_zipped_format to check whether the version info is consistent ... with the naming of the URL.		1999-10-12 07:14:37 +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	Make the lib from *$(OBJ_EXT), that is, all object files that could be compiled.	1999-10-11 14:32:40 +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