../ README.md 07-May-2024 19:34 776 spacingtricks.dtx 07-May-2024 19:34 37089 spacingtricks.ins 07-May-2024 19:34 2005 spacingtricks.pdf 07-May-2024 19:34 182798