# personality file names used by vex2script as defaults
# set "export PERSONALITYFILEPATH" to point to path for this file
ddc=ddc_1411380.bin
vdif=ddc_1501383.bin
pfb=PFBG_1_4.bin
# end of file