Skip to content
This repository has been archived by the owner on Mar 23, 2021. It is now read-only.

Commit

Permalink
INSTALL.org: Remove obsolete instruction
Browse files Browse the repository at this point in the history
  • Loading branch information
Bastien Guerry committed Apr 29, 2020
1 parent 4ac103e commit a055804
Showing 1 changed file with 0 additions and 6 deletions.
6 changes: 0 additions & 6 deletions INSTALL.org
View file
Original file line number Diff line number Diff line change
Expand Up @@ -60,9 +60,3 @@ et que chaque conclusion est atteinte au moins par une possibilité de
réponse.

Vous pouvez aussi lancer une [[file:preuve-formelle/][preuve formelle avec Z3]].

** Déployer les fichiers statiques depuis ce dépôt

Une seule commande :

: ./build

0 comments on commit a055804

Please sign in to comment.