comparison make-dist @ 80963:8730a7d19614

Convert from PGM to PBM.
author Glenn Morris <rgm@gnu.org>
date Sat, 19 May 2007 05:02:48 +0000
parents 69151e6e8613
children 4b9e26bc6f59 ec58e5c426ef
comparison
equal deleted inserted replaced
80962:c67984592170 80963:8730a7d19614