wok log

age author description
2022-05-20 Hans-G?nter Theisgen giblib: inserted configure parameters
2022-05-19 Pascal Bellard lives: back out wget_url update
2022-05-19 Pascal Bellard Update some wget_url
rev 25030: (0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip