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