# HG changeset patch # User casties # Date 1412073441 -7200 # Node ID d672a6f6c9029a93614d45aa5c0f5e4b977f7a87 # Parent 798cb36638376a4a64d8a3cfa021d3854fadee1b make having old navigation configurable. diff -r 798cb3663837 -r d672a6f6c902 zpt/project/project_index_html.zpt --- a/zpt/project/project_index_html.zpt Fri Sep 19 13:04:42 2014 +0200 +++ b/zpt/project/project_index_html.zpt Tue Sep 30 12:37:21 2014 +0200 @@ -85,16 +85,18 @@