diff options
author | jgart <47760695+jgarte@users.noreply.github.com> | 2021-07-13 07:59:23 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-13 07:59:23 -0400 |
commit | 699e651db2924c918d7c4fe16af6b11af7a88da2 (patch) | |
tree | a486feee333d4d229236fcde20617589d2ee605c /scripts | |
parent | 9eddb71b8e86a04d7048b920b9b50a2e97068d03 (diff) |
ignore/types: add texinfo
https://www.gnu.org/software/texinfo/
PR #1934
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions