diff README.mirrors @ 7806:edc25a3fb2bc

handle floats in mk-opts.pl
author Jaroslav Hajek <highegg@gmail.com>
date Thu, 22 May 2008 11:20:09 +0200
parents 5eb3db6e4042
children 50c7d87ecfa1
line wrap: on
line diff