revert changes to data.json and create production build

EshaanAgg · Jul 27, 2024 · 2c85971 · 2c85971
1 parent c020aa4
commit 2c85971
Show file tree

Hide file tree

Showing 4 changed files with 504 additions and 829 deletions.
diff --git a/benchexec/tablegenerator/react-table/build/main.min.css b/benchexec/tablegenerator/react-table/build/main.min.css
diff --git a/benchexec/tablegenerator/react-table/build/main.min.js b/benchexec/tablegenerator/react-table/build/main.min.js
diff --git a/benchexec/tablegenerator/react-table/build/vendors.min.js b/benchexec/tablegenerator/react-table/build/vendors.min.js