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

age author description
Fri, 11 Aug 2023 14:47:25 +0200 heinrichsweikamp add tools/o3pack.bat and the required tools/libs