package info
(click to toggle)
texlive-extra 2018.20190227-2
Folder: gitfile-info
| .. (parent) | ||||
| - | rw-r--r-- | 2,888 | README | |
| - | rw-r--r-- | 3,564 | gfi-run.py | |
| - | rw-r--r-- | 189 | gitfile-info.gfi | |
| - | rw-r--r-- | 569,750 | gitfile-info.pdf | |
| - | rw-r--r-- | 1,945 | post-commit.py | |
| - | rw-r--r-- | 2,143 | post-merge.py |
