diff options
| -rw-r--r-- | docs/MakefileGuide.html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/MakefileGuide.html b/docs/MakefileGuide.html index 3c73753be1..1484b02789 100644 --- a/docs/MakefileGuide.html +++ b/docs/MakefileGuide.html @@ -1004,5 +1004,3 @@ </body> </html> -<!-- vim: sw=2 noai ---> |