mirror of
https://git.savannah.gnu.org/git/make.git
synced 2024-12-28 07:48:41 +00:00
Remove our local copy so we can use the standard version.
This commit is contained in:
parent
2276c37ae7
commit
5dedf7be63
1 changed files with 0 additions and 5896 deletions
5896
texinfo.tex
5896
texinfo.tex
File diff suppressed because it is too large
Load diff
Loading…
Reference in a new issue