Fix name of misnamed file

This commit is contained in:
Gregory Nutt 2015-04-21 13:18:06 -06:00
parent bb2bffa626
commit ba1e1b19fc
2 changed files with 19 additions and 19 deletions