Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-08-03 17:16:11 -0700 (Thu, 03 Aug 2006)
Revision: 9465
Log message:

      Mark the "reversible" options with a star.