diff --git a/docs/page_header.html b/docs/page_header.html new file mode 100644 index 000000000..f9158750f --- /dev/null +++ b/docs/page_header.html @@ -0,0 +1,5 @@ +
+ NOTE: You are looking at documentation for an older release. + For the latest information, see the + current release documentation. +
\ No newline at end of file