Changeset 18821

Timestamp:

Jul 31, 2008, 10:35:48 AM (18 years ago)

Author:

Paul Price

Message:

Renaming readline-5.2-p12.tgz --> readline-5.2-p12.tar.gz (because that's what it's listed as in the tagset.

Location:

trunk/ext

Files:

• readline-5.2-p12.tar.gz (added)
• readline-5.2-p12.tgz (deleted)