diff configure @ 80968:76db7c64a3d0

Convert from PPM to PBM.
author Glenn Morris <rgm@gnu.org>
date Sat, 19 May 2007 05:05:19 +0000
parents fb266235bcb8
children 64e88cc500d9 3b8b04d20e39
line wrap: on
line diff