# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1179551119 0
# Node ID 76db7c64a3d0f6a1d22355bdbea7dba91fa718ac
# Parent  eb1f4ccbe0b9db747a48f6dce7173b18adfe58d8
Convert from PPM to PBM.

diff -r eb1f4ccbe0b9 -r 76db7c64a3d0 etc/images/save.pbm
Binary file etc/images/save.pbm has changed