mirror of
git://git.savannah.gnu.org/libtool.git
synced 2024-11-27 06:09:57 +08:00
added *.ps, as suggested by Erez Zadok
This commit is contained in:
parent
b8731bc575
commit
fcb4d90ba1
@ -16,3 +16,4 @@ version.texi
|
||||
*.pg
|
||||
*.cps
|
||||
*.info*
|
||||
*.ps
|
||||
|
Loading…
Reference in New Issue
Block a user