../ README 19-Jun-2022 10:03 718 fgruler.dtx 25-Jun-2022 15:42 100113 fgruler.ins 19-Jun-2022 10:03 1210 fgruler.pdf 25-Jun-2022 17:11 486281