…
..
patch-config.h
patch-Imakefile
patch-src+dump2rom.c
patch-src+hp48.h
patch-src+serial.c
patch-src+x48_x11.c
patch-src+X48.ad