Fix two incorrectly named header files

This commit is contained in:
Gregory Nutt 2016-07-12 09:46:09 -06:00
parent 765098d840
commit 38999dfe9d
2 changed files with 0 additions and 0 deletions