diff options
| -rw-r--r-- | docs/ProgrammersManual.html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index a3b54f802b..464618aa37 100644 --- a/docs/ProgrammersManual.html +++ b/docs/ProgrammersManual.html @@ -2241,5 +2241,3 @@ arguments. An argument has a pointer to the parent Function.</p> </body> </html> -<!-- vim: sw=2 noai ---> |