tree 0883ec361f7e523bfa824dc069d01a0f480a43c4
parent 80ff07b72de984a9d6dd2d4e4ad6f2ec26f4cedd
author cgyurgyik <gyurgyikcp@gmail.com> 1595978341 -0400
committer Copybara-Service <copybara-worker@google.com> 1598822500 -0700

[libc] [Obvious] Delete ctype.h, since ctype.h.def is used.

GitOrigin-RevId: 75f222b4762a660506325850bfbd3e4241a7e347