# This file is for administrative purposes only. # The source CTAN of this site's material: dante.ctan.org # The year-month-day-hour-minute of this site's material: 2022-07-27-02-02