diff man/building.texi @ 91004:f72cf5b2ab11

ps-print-color-p fix
author Vinicius Jose Latorre <viniciusjl@ig.com.br>
date Wed, 08 Aug 2007 16:39:00 +0000
parents 539530fa389c
children
line wrap: on
line diff