From 7ff04a30dd227c1ba03c69b47a2392c76cbe1d56 Mon Sep 17 00:00:00 2001 From: Tamazouzt AIT ELDJOUDI <tamazouzt.ait-eldjoudi@etu.univ-amu.fr> Date: Wed, 29 Jun 2022 21:56:07 +0200 Subject: [PATCH] readme --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 9cf814c..fa1c03f 100644 --- a/README.md +++ b/README.md @@ -9,7 +9,7 @@ The main goal of the program is to generate the result of the beta_reduction of ## Table of contents -<!-- TOC -->autoauto- [the structures](#structures)/n - [what to install](#lib)/n - [how to install](#needs)/n - [utilisation](#utilisation)/n - [parsing ](#parse)/n - [documentation](#docu)/n - [contribution](#contri)/n autoauto<!-- /TOC --> +<!-- TOC -->- [the structures](#structures)<br /> - [what to install](#lib)<br /> - [how to install](#needs)<br /> - [utilisation](#utilisation)<br /> - [parsing ](#parse)<br /> - [documentation](#docu)<br /> - [contribution](#contri)<br /> <!-- /TOC --> ## structures <a name="structures"></a> -- GitLab