Remove JS files from docs/static dir (#932)

Co-authored-by: Keith Beattie <[email protected]> (cherry picked from commit a82afa1)
IDAES · Nov 15, 2022 · 7229679 · 7229679
1 parent 4134458
commit 7229679
Show file tree

Hide file tree

Showing 12 changed files with 0 additions and 13,274 deletions.
diff --git a/docs/static/doctools.js b/docs/static/doctools.js
diff --git a/docs/static/documentation_options.js b/docs/static/documentation_options.js