remove all the gh-pages

INRIA · Dec 12, 2024 · c150cfb · c150cfb
1 parent 9e46dae
commit c150cfb
Show file tree

Hide file tree

Showing 41 changed files with 0 additions and 8,231 deletions.
diff --git a/site/404.html b/site/404.html
diff --git a/site/assets/images/favicon.png b/site/assets/images/favicon.png
diff --git a/site/assets/javascripts/bundle.e87a5f81.min.js b/site/assets/javascripts/bundle.e87a5f81.min.js