Deploying to wikidoc from @ f4d64b6 🚀

ocsigen · May 5, 2024 · 5c1b63a · 5c1b63a
1 parent 2fffb04
commit 5c1b63a
Show file tree

Hide file tree

Showing 12 changed files with 38 additions and 38 deletions.
diff --git a/doc/dev/manual/files/boulderdash/boulderdash.js b/doc/dev/manual/files/boulderdash/boulderdash.js
diff --git a/doc/dev/manual/files/cubes/cubes.js b/doc/dev/manual/files/cubes/cubes.js
diff --git a/doc/dev/manual/files/graph_viewer/viewer_js.js b/doc/dev/manual/files/graph_viewer/viewer_js.js
diff --git a/doc/dev/manual/files/hyperbolic/hypertree.js b/doc/dev/manual/files/hyperbolic/hypertree.js
diff --git a/doc/dev/manual/files/minesweeper/main.js b/doc/dev/manual/files/minesweeper/main.js