diff options
| -rw-r--r-- | doc/Steps.html | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/Steps.html b/doc/Steps.html index 76779e9ef..c15346166 100644 --- a/doc/Steps.html +++ b/doc/Steps.html @@ -135,5 +135,8 @@ </p> </p> + <p> + <i>Page contributed by Holger Schmidt.</i> + </p> </body></html> |