Changeset 99618 in vbox for trunk/src/libs

Timestamp:

May 5, 2023 8:55:09 AM (20 months ago)

Author:

vboxsync

Message:

libs: Removed dita-ot-1.8.5 as we'll be using 4.0.x from tools instead. bugref:10302 bugref:10425

File:

• trunk/src/libs/dita-ot-1.8.5 (deleted)