wok-current log sshrc/receipt

age author description
2022-07-27 Pascal Bellard sshrc: typo in wget_url
2022-05-02 Pascal Bellard Update some wget_url
2022-02-19 Pascal Bellard Add some current_version
2020-02-06 Pascal Bellard Add emu8051
2019-12-21 Pascal Bellard Add sshrc (again)
2019-12-21 Pascal Bellard Add sshrc (again)
2019-12-21 Pascal Bellard Add sshrc (again)
2019-12-20 Pascal Bellard Add sshrc