tools/ismindex: remove unused header
authorJames Almer <jamrial@gmail.com>
Sun, 1 Oct 2017 21:19:14 +0000 (18:19 -0300)
committerJames Almer <jamrial@gmail.com>
Sun, 1 Oct 2017 21:19:14 +0000 (18:19 -0300)
commit2f7ca0b94e49c2bfce8bda3f883766101ebd7a9b
treefcaab33f62001858acefddf23d52ab2ddbe3651e
parentac5908b13f16cbda396730c35f5f3125ca24577a
tools/ismindex: remove unused header
tools/ismindex.c