From 55645018dedf1cc277a8a0a174e2e27699ae4683 Mon Sep 17 00:00:00 2001
From: zolliker <zolliker>
Date: Mon, 7 Mar 2005 15:11:25 +0000
Subject: [PATCH] remove make_opt_...