I am planning to use SNESDev-RPi with a PiTFT display, but they both want to use pins 19 and 23 – am I right to assume that I can just change the below section of code from SNESDev.c to use another two pins? And will any of the remaining pins work just as well? There is nothing special about pins 19 and 23 for SNESDev-RPi? Thanks!

if (get_rpi_revision()==1)
{
gpads[0].pin_clock = RPI_GPIO_P1_19;
gpads[0].pin_strobe = RPI_GPIO_P1_23;
gpads[0].pin_data = RPI_GPIO_P1_05;
gpads[1].pin_clock = RPI_GPIO_P1_19;
gpads[1].pin_strobe = RPI_GPIO_P1_23;
gpads[1].pin_data = RPI_GPIO_P1_07;	
} else {
gpads[0].pin_clock = RPI_V2_GPIO_P1_19;
gpads[0].pin_strobe = RPI_V2_GPIO_P1_23;
gpads[0].pin_data = RPI_V2_GPIO_P1_05;
gpads[0].type = GPAD_TYPE_SNES;
gpads[1].pin_clock = RPI_V2_GPIO_P1_19;
gpads[1].pin_strobe = RPI_V2_GPIO_P1_23;
gpads[1].pin_data = RPI_V2_GPIO_P1_07;	
}