diff Makefile @ 31320:fd78d436d30f

Remove unused function pt_add_gui_file().
author diego
date Sun, 13 Jun 2010 17:15:55 +0000
parents 9ce59b78dbfd
children 7ab74cfbcabe
line wrap: on
line diff