Update

author Jérémie Astor <astor.jeremie@wanadoo.fr>

Tue, 22 Sep 2020 19:48:51 +0000 (21:48 +0200)

committer Jérémie Astor <astor.jeremie@wanadoo.fr>

Tue, 22 Sep 2020 19:48:51 +0000 (21:48 +0200)
author Jérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 22 Sep 2020 19:48:51 +0000 (21:48 +0200)
committer Jérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 22 Sep 2020 19:48:51 +0000 (21:48 +0200)
diff --git a/docs/list b/docs/list

index 74d0d8582ce01a122111ebd7e1955938a55bee52..26b9be33a4898382141e7eb9271a69c2483465ea 100644 (file)
--- a/docs/list
+++ b/docs/list
@@ -1,6 +1,8 @@
  README.md
+
  Overview
  Reference
  Contributing
+
  ---
  Benchmarks.md
author	Jérémie Astor <astor.jeremie@wanadoo.fr>
	Tue, 22 Sep 2020 19:48:51 +0000 (21:48 +0200)
committer	Jérémie Astor <astor.jeremie@wanadoo.fr>
	Tue, 22 Sep 2020 19:48:51 +0000 (21:48 +0200)