/patch-fig2dev_tests_atlocal.in/1.2/Tue May 12 10:31:35 2020//
/patch-fig2dev_dev_genbitmaps.c/1.1/Wed Dec  7 15:30:09 2022//
/patch-fig2dev_dev_readeps.c/1.1/Wed Dec  7 15:30:09 2022//
/patch-fig2dev_dev_readpics.c/1.1/Wed Dec  7 15:30:09 2022//
D