diff loader/ext.c @ 5705:53dde2c75c17

more stuff required when GUI bugreporting (nobody reads it anyway)
author gabucino
date Fri, 19 Apr 2002 19:22:23 +0000
parents aa1491f8167b
children 174e2a58b4cd
line wrap: on
line diff