Name Last modified Size Parent Directory - footmisx.ins 2016-12-02 05:36 1.4K footmisx.dtx 2016-12-02 05:36 75K