Name Last modified Size Description Parent Directory - README.md 2023-07-28 15:04 776 spacingtricks.ins 2023-02-23 21:06 2.0K spacingtricks.dtx 2023-12-06 16:10 36K spacingtricks.pdf 2023-12-06 16:10 179K