diff configure @ 31320:fd78d436d30f

Remove unused function pt_add_gui_file().
author diego
date Sun, 13 Jun 2010 17:15:55 +0000
parents 793f985a762c
children 22713e4fde5f
line wrap: on
line diff