add new pages to nav
authorDavid Jencks <djencks@apache.org>
Sat, 22 Aug 2020 21:08:37 +0000 (14:08 -0700)
committerDavid Jencks <djencks@apache.org>
Sat, 22 Aug 2020 21:08:37 +0000 (14:08 -0700)
commite80eefba752261b808fe8fed5bc2456ee8c81b94
tree44c2ef7d1db2aa130e33b64df96bbf1e02f9f1a1
parentd39d383cf74de52d1dd4db6bbb4497a1713da500
add new pages to nav
modules/ROOT/nav.adoc
modules/ROOT/pages/auto-index.adoc