diff Gui/interface.c @ 17850:22d9d212c20e

Ignore codecs2html.
author diego
date Mon, 13 Mar 2006 11:06:08 +0000
parents 0e1471d9da74
children 9a5a62f480e6
line wrap: on
line diff