Branch: refs/heads/master
Home: https://github.com/jallib/jallib
Commit: 4d15802a5b0b1aad1d34b0f325a9018b4fdfbee5
https://github.com/jallib/jallib/commit/4d15802a5b0b1aad1d34b0f325a9018b4fdfbee5
Author: Rob Jansen <12682653+robjanse...@users.noreply.github.com>
Date: 2023-07-28 (Fri, 28 Jul 2023)
Changed paths:
A doc/dita/tutorials/html.xml
A doc/dita/tutorials/pdf.xml
M tools/Makefile
Log Message:
-----------
Changes made for using new version of Dita.
--
You received this message because you are subscribed to the Google Groups
"jallib" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to jallib+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jallib/jallib/jallib/push/refs/heads/master/59844e-4d1580%40github.com.
