Add new patch 05_PrintStream_File, PrintStream(File) is undefined in
authorgregor herrmann <gregoa@debian.org>
Sun, 16 Mar 2008 16:15:50 +0000 (16:15 -0000)
committergregor herrmann <gregoa@debian.org>
Sun, 16 Mar 2008 16:15:50 +0000 (16:15 -0000)
commitd5cd589aea9d68366bc6ac66dfb5a2654367f084
treefc0cea5a7d9717f1147b7d6e7fede34d80b3866e
parentc1aecd2ca78d554e9403160b29992a65bb4fa835
Add new patch 05_PrintStream_File, PrintStream(File) is undefined in
  gcj.
debian/changelog
debian/patches/00list
debian/patches/05_PrintStream_File.dpatch [new file with mode: 0755]