Name Last modified Size ![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
footmisx.dtx 2016-12-02 05:36 75K
footmisx.ins 2016-12-02 05:36 1.4K