VER_H_GIT_DATE_SHORT 5141 src/dps8/dps8_cpu.c #if !defined(VER_H_GIT_DATE_SHORT)
VER_H_GIT_DATE_SHORT 5167 src/dps8/dps8_cpu.c   BURN  ( 70,  10,  VER_H_GIT_DATE_SHORT);         //   70     Release Git Commit Date         //-V1086