diff options
| -rw-r--r-- | doc/common/footer.html | 1 | ||||
| -rw-r--r-- | doc/common/mainfooter.html | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/doc/common/footer.html b/doc/common/footer.html index 14fa8208c..982673386 100644 --- a/doc/common/footer.html +++ b/doc/common/footer.html @@ -1,4 +1,3 @@ - </div> </div> </div> <div id="left"> diff --git a/doc/common/mainfooter.html b/doc/common/mainfooter.html index 00321fd49..f1e204f40 100644 --- a/doc/common/mainfooter.html +++ b/doc/common/mainfooter.html @@ -11,7 +11,6 @@ Questions about the reference manuals should be sent to </p> </div> - </div> </div> </div> <div id="left"> |