Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 1998-07-25 00:03:48 -0700 (Sat, 25 Jul 1998) Revision: 2363 Log message:
No need to make opt twice in editor/ml