Removed files that should not be there. I do not completely understand git
behavior.
include/hppBody.h
deleted
100644 → 0
include/hppBox.h
deleted
100644 → 0
include/hppDevice.h
deleted
100644 → 0
include/hppPlanner.h
deleted
100644 → 0