Header for definition of daily ticket.

This commit is contained in:
Gerhard Hoffmann 2023-12-12 11:36:58 +01:00
parent 8d7d175b51
commit 4fbc2c502b