diff options
Diffstat (limited to 'docs/header.html')
| -rw-r--r-- | docs/header.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/header.html b/docs/header.html index 1a4572135c..f28df2c331 100644 --- a/docs/header.html +++ b/docs/header.html @@ -1,4 +1,5 @@ -<!-- HTML header for doxygen 1.8.9.1--> +<!-- HTML header for doxygen 1.8.15--> +<!-- Remember to use version doxygen 1.8.15 +--> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> |