diff docs.html @ 712:8be92df64b22

Finally bugfixed: the simpler the better
author Patrice Mandin <patmandin@gmail.com>
date Wed, 03 Sep 2003 20:07:16 +0000
parents 6ae8eacccc7c
children f9a5fbcdf868
line wrap: on
line diff