rename: file's obsolete now

This commit is contained in:
Eric House 2012-09-13 19:06:46 -07:00
parent a85ab865cb
commit 20afa9fd56