# This file is for administrative purposes only. # The source CTAN of this site's material: irony.dante.de # The year-month-day-hour-minute of this site's material: 2026-11-05-05-02 .