Access Control is now enabled for Gitlab Pages so you can now restrict Pages to authorized users only. If needed, make your website publicly available : Navigate to your project's Settings > General > Visibility and select Everyone in pages section.

Commit 42d63dc3 authored by Tony Licata's avatar Tony Licata

added task in pv04

parent 6c6d28e0
......@@ -21,3 +21,4 @@ le précédant PV a été validé
## Tâches à réaliser
- modifier le ProloGraalProofTreeNode pour ne plus utiliser la stack java
- documentation sur les outils d'optimisation offerts par Truffle
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment