diff configure @ 80965:265f7dace36d

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