commit bba6809d9625a786bb483aa3a7bf3248d4ca2615 Author: Karsten Loesing karsten.loesing@gmx.net Date: Thu Feb 28 19:06:03 2013 +0100

Add @microdescriptor 1.0 to formats.html. --- web/WEB-INF/formats.jsp | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/web/WEB-INF/formats.jsp b/web/WEB-INF/formats.jsp index ab13e1b..4d297b2 100644 --- a/web/WEB-INF/formats.jsp +++ b/web/WEB-INF/formats.jsp @@ -68,12 +68,12 @@ number.

<p> The following descriptor types and versions are known. -Gray entries are either not yet implemented or deprecated, black entries -are recent: +Gray entries are deprecated, black entries are recent: </p>

<ul> <li><tt>@type server-descriptor 1.0</tt></li> +<li><tt>@type microdescriptor 1.0</tt></li> <li><tt>@type extra-info 1.0</tt></li> <li><tt>@type directory 1.0</tt></li> <li><tt>@type network-status-2 1.0</tt></li>