From 817b8911b7d890c50557b7245860ca91eb2a0b20 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Wed, 26 May 2021 14:35:04 +0200 Subject: [PATCH] Part VI: remove unnecessary toc-title --- ijs.tree | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/ijs.tree b/ijs.tree index c86191cab..114847caa 100644 --- a/ijs.tree +++ b/ijs.tree @@ -218,12 +218,12 @@ - - - - - - + + + + + +