log tools/o3pack.exe @ 656:8af5aefbcdaf default tip

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