GitHub - Menu-Vaucanson/Menu-Vaucanson.github.io: The closing page of the Menu Vaucanson project.

This repository was archived by the owner on Jun 22, 2026. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 32 Commits
assets		assets
.htaccess		.htaccess
CNAME		CNAME
favicon.ico		favicon.ico
index.html		index.html
manifest.json		manifest.json
robots.txt		robots.txt
style.css		style.css

About

The closing page of the Menu Vaucanson project.