Remove manual.texi which does not belong to this distribution
This commit is contained in:
parent
9970e273e6
commit
37ec1b7b98
File diff suppressed because it is too large
Load Diff
Loading…
x
Reference in New Issue
Block a user