From 31cf9cfbee89b3509327cbad6e62735dd2dcdd96 Mon Sep 17 00:00:00 2001
From: Pieter de Bie <pdebie@ai.rug.nl>
Date: Sun, 25 Jan 2009 15:38:23 +0000
Subject: [PATCH] WebHistoryView: Don't try to display PDF files anymore

This used to work, but it probably changed with 1.5.6 or something,
so let's just remove PDF support
---
 html/views/history/history.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/views/history/history.js b/html/views/history/history.js
index eb99615..36d40f7 100644
--- a/html/views/history/history.js
+++ b/html/views/history/history.js
@@ -178,7 +178,7 @@ var showDiff = function() {
 	}
 
 	var binaryDiff = function(filename) {
-		if (filename.match(/\.(png|jpg|pdf|icns|psd)$/i))
+		if (filename.match(/\.(png|jpg|icns|psd)$/i))
 			return '<a href="#" onclick="return showImage(this, \'' + filename + '\')">Display image</a>';
 		else
 			return "Binary file differs";