diff TOOLS/mp.pl @ 5432:0c5025974a83

use only 1 buffers if dr=yes and double=no
author arpi
date Sun, 31 Mar 2002 20:39:38 +0000
parents 493cbec56a14
children
line wrap: on
line diff