../ README 03-Jul-2022 19:38 2911 gitfile-info.dtx 03-Jul-2022 19:38 38938 gitfile-info.ins 03-Jul-2022 19:38 1433 gitfile-info.pdf 03-Jul-2022 19:38 569376