[ivette] Makefile-based checkdir
ivette/headers/checkdir
deleted
100755 → 0
File deleted
ivette/headers/checkdir.ml
deleted
100644 → 0
ivette/headers/checkdirs.sh
deleted
100755 → 0
Please register or sign in to comment