diff -r 78a25071ed88 -r 3dffe58a573f docs/src/header.html
--- a/docs/src/header.html	Wed Apr 10 13:48:44 2019 +0200
+++ b/docs/src/header.html	Wed Apr 10 13:50:24 2019 +0200
@@ -42,6 +42,7 @@
 						<li><a href="pull.html">pull</a></li>
 						<li><a href="push.html">push</a></li>
 						<li><a href="archive.html">archive</a></li>
+                                                <li><a href="list-conflicts.html">list-conflicts</a></li>
 						<li><a href="resolve-conflicts.html">resolve-conflicts</a></li>
 						<li><a href="delete-conflicts.html">delete-conflicts</a></li>
 						<li><a href="trash-info.html">trash-info</a></li>