diff options
| author | nyamatongwe <devnull@localhost> | 2004-02-28 22:28:41 +0000 |
|---|---|---|
| committer | nyamatongwe <devnull@localhost> | 2004-02-28 22:28:41 +0000 |
| commit | 10fbea46b8ef8d0b749ae2b9813ced2f1badf853 (patch) | |
| tree | 3294d8e4406e2ff691c0f03eda7caccdd03a5f51 | |
| parent | 15578f47ac2c730597d3a6c269956056e7d54431 (diff) | |
| download | scintilla-mirror-10fbea46b8ef8d0b749ae2b9813ced2f1badf853.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 |