delete old OpenCL vignette files (the newer version is in a different…

… directory)
stan-dev · Jul 3, 2024 · 4202c95 · 4202c95
1 parent 2550b8e
commit 4202c95
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 327 deletions.
diff --git a/docs/articles/opencl.html b/docs/articles/opencl.html
diff --git a/docs/articles/opencl_files/accessible-code-block-0.0.1/empty-anchor.js b/docs/articles/opencl_files/accessible-code-block-0.0.1/empty-anchor.js
diff --git a/docs/articles/opencl_files/anchor-sections-1.0/anchor-sections.css b/docs/articles/opencl_files/anchor-sections-1.0/anchor-sections.css
diff --git a/docs/articles/opencl_files/anchor-sections-1.0/anchor-sections.js b/docs/articles/opencl_files/anchor-sections-1.0/anchor-sections.js
diff --git a/docs/articles/opencl_files/header-attrs-2.7/header-attrs.js b/docs/articles/opencl_files/header-attrs-2.7/header-attrs.js