Index: doc/user/01_intro/index.html
===================================================================
--- doc/user/01_intro/index.html	(revision 30689)
+++ doc/user/01_intro/index.html	(revision 30690)
@@ -20,4 +20,4 @@
 </ul>
 
 </body>
-</html>
\ No newline at end of file
+</html>