log tools/o3pack.exe @ 655:c7b7b8a358cd default tip

age author description
Fri, 11 Aug 2023 15:53:49 +0200 heinrichsweikamp add tools/o3pack.bat and the required tools/libs