../ README.md 28-Jul-2023 23:04 776 spacingtricks.dtx 07-Dec-2023 00:10 37089 spacingtricks.ins 24-Feb-2023 05:06 2005 spacingtricks.pdf 07-Dec-2023 00:10 182798