Name Last modified Size Description Parent Directory - footmisx.ins 2016-12-01 21:36 1.4K footmisx.dtx 2016-12-01 21:36 75K