projects
/
web.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Rename header from 'Documents' to 'Documentation'
[web.git]
/
_includes
/
docs_nav.html
diff --git
a/_includes/docs_nav.html
b/_includes/docs_nav.html
index 793afae0204ba5765bde42e99f5da403cd4cce9a..6679e87cb02b867608878399f9022dfb7694293b 100644
(file)
--- a/
_includes/docs_nav.html
+++ b/
_includes/docs_nav.html
@@
-1,4
+1,4
@@
-<h4>Document
s
</h4>
+<h4>Document
ation
</h4>
<div class="panel">
<div id="toc" class="toc">
<ul class="sectlevel0">