Rename DISKDEFS to diskdefs

This commit is contained in:
Wayne Warthen
2019-10-15 14:51:41 -07:00
committed by GitHub
parent a4f2cd8c11
commit 1e47726176