# HG changeset patch
# User Andreas Weber <andy.weber.aw@gmail.com>
# Date 1381079300 -7200
# Node ID 3ef7d28833f3c92d6dac32f3ae8c2233973c3def
# Parent  0c6750ace8b4ee6eacca1a7fd430a0eefecfbf0e
imformats.m: removed duplicate PGM entry

diff -r 0c6750ace8b4 -r 3ef7d28833f3 scripts/image/imformats.m
--- a/scripts/image/imformats.m	Sun Oct 06 07:02:43 2013 -0700
+++ b/scripts/image/imformats.m	Sun Oct 06 19:08:20 2013 +0200
@@ -222,7 +222,6 @@
             "PBM",  {"pbm"},          false;
             "PCX",  {"pcx"},          true;
             "PGM",  {"pgm"},          false;
-            "PGM",  {"pgm"},          false;
             "PNG",  {"png"},          true;
             ## PNM is a family of formats supporting portable bitmaps (PBM),
             ## graymaps (PGM), and pixmaps (PPM). There is no file format