diff options
| author | nyamatongwe <unknown> | 2004-02-28 22:28:41 +0000 |
|---|---|---|
| committer | nyamatongwe <unknown> | 2004-02-28 22:28:41 +0000 |
| commit | fec08d803302905ea166fb2450a130e9891e85c3 (patch) | |
| tree | 3294d8e4406e2ff691c0f03eda7caccdd03a5f51 | |
| parent | 680b754ab58cc5a63f246751a6986f4521fdef4b (diff) | |
| download | scintilla-mirror-fec08d803302905ea166fb2450a130e9891e85c3.tar.gz | |
Patch from Davide Scola to allow an extra level of choice
in where the files are installed by defining DESTDIR.
| -rw-r--r-- | doc/ScintillaHistory.html | 1 |
1 files changed, 1 insertions, 0 deletions
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 |