[tor-commits] [metrics-web/master] Add @microdescriptor 1.0 to formats.html.

[karsten at torproject.org]

commit bba6809d9625a786bb483aa3a7bf3248d4ca2615
Author: Karsten Loesing <karsten.loesing at 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>