diff options
Diffstat (limited to 'graphics/ocrfeeder/files/patch-src-ocrfeeder-util-lib.py')
| -rw-r--r-- | graphics/ocrfeeder/files/patch-src-ocrfeeder-util-lib.py | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/graphics/ocrfeeder/files/patch-src-ocrfeeder-util-lib.py b/graphics/ocrfeeder/files/patch-src-ocrfeeder-util-lib.py deleted file mode 100644 index 6efd838e51d2..000000000000 --- a/graphics/ocrfeeder/files/patch-src-ocrfeeder-util-lib.py +++ /dev/null @@ -1,11 +0,0 @@ ---- src/ocrfeeder/util/lib.py.orig 2012-01-16 23:38:47.000000000 +0800 -+++ src/ocrfeeder/util/lib.py 2012-01-16 23:38:54.000000000 +0800 -@@ -130,7 +130,7 @@ - return command - - def unpaperImage(configuration_manager, image_path): -- tmp_dir = configuration_manager.temporary_dir -+ tmp_dir = configuration_manager.TEMPORARY_FOLDER - prefix = os.path.splitext(image_path)[0] - unpapered_name = os.path.join(tmp_dir, os.path.basename(prefix) + '.ppm') - if os.path.exists(unpapered_name): |