Rename DISKDEFS to diskdefs

This commit is contained in:
Wayne Warthen
2019-10-15 15:05:53 -07:00
committed by GitHub
parent 1e47726176
commit f98b97e20a