Marco Pesenti Gritti 8ef6c57f8b Patch by bertf to fix handling of non-default types.

2007-09-15 03:14:30 +02:00

..

console

…

shell

Patch by bertf to fix handling of non-default types.

2007-09-15 03:14:30 +02:00

Makefile.am

…