From c2b02c1fc17b839075b7cb6fd42498a519473fae Mon Sep 17 00:00:00 2001 From: Błażej Kardyś Date: Mon, 3 Aug 2020 03:57:48 +0200 Subject: Deprecated elements page for javadoc format --- plugins/javadoc/src/main/resources/views/components/navList.korte | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'plugins/javadoc/src/main/resources/views/components') diff --git a/plugins/javadoc/src/main/resources/views/components/navList.korte b/plugins/javadoc/src/main/resources/views/components/navList.korte index d18b44c4..dbfe7eb3 100644 --- a/plugins/javadoc/src/main/resources/views/components/navList.korte +++ b/plugins/javadoc/src/main/resources/views/components/navList.korte @@ -21,7 +21,7 @@ {% else %}
  • Tree
  • {% end %} -
  • Deprecated
  • +
  • Deprecated
  • Index
  • Help
  • \ No newline at end of file -- cgit