diff options
| -rw-r--r-- | doc/ScintillaHistory.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/ScintillaHistory.html b/doc/ScintillaHistory.html index 5f2575fc4..57a476d80 100644 --- a/doc/ScintillaHistory.html +++ b/doc/ScintillaHistory.html @@ -380,6 +380,8 @@ <td>Thomas Linder Puls</td> <td>Artyom Zuikov</td> <td>Gerrit</td> + </tr><tr> + <td>Occam's Razor</td> </tr> </table> <p> |