From 10fbea46b8ef8d0b749ae2b9813ced2f1badf853 Mon Sep 17 00:00:00 2001
From: nyamatongwe <devnull@localhost>
Date: Sat, 28 Feb 2004 22:28:41 +0000
Subject: Patch from Davide Scola to allow an extra level of choice in where
 the files are installed by defining DESTDIR.

---
 doc/ScintillaHistory.html | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/ScintillaHistory.html')

diff --git a/doc/ScintillaHistory.html b/doc/ScintillaHistory.html
index e5c169614..ac006f284 100644
--- a/doc/ScintillaHistory.html
+++ b/doc/ScintillaHistory.html
@@ -162,6 +162,7 @@
 	<li>Manfred Becker</li>
 	<li>Dimitris Keletsekis</li>
 	<li>Yuiga</li>
+	<li>Davide Scola</li>
     </ul>
     <p>
        Images used in GTK+ version
-- 
cgit v1.2.3