wok log

age author description
2022-06-18 Pascal Bellard Update some web_site & wget_url
2022-06-18 Hans-G?nter Theisgen updated pan (0.146 -> 0.149)
rev 25094: (0) -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 tip