Delete revision.h