diff spudec.h @ 14575:31ae29e095b6

Remove obsolete options.
author diego
date Sat, 22 Jan 2005 15:47:34 +0000
parents d45870f67728
children a6c619ee9d30
line wrap: on
line diff