Remove ports files no longer relevant now included in libc repository.
commitb8845523ca38bd03b2af4ab8b5b64e5055ccfd23
authorJoseph Myers <joseph@codesourcery.com>
Tue, 3 Jul 2012 16:51:46 +0000 (3 16:51 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Tue, 3 Jul 2012 16:52:10 +0000 (3 16:52 +0000)
tree029a9f2ac10b65760dca00a339bd0d7e6f696691
parent370ca3d2ad893fe5ec2201f473240c74dac77eb0
Remove ports files no longer relevant now included in libc repository.
ports/.gitignore [deleted file]
ports/Banner [deleted file]
ports/ChangeLog
ports/Makefile [deleted file]