Remove goblint.build-info.js and goblint.sites.js

goblint · Jul 24, 2024 · a00ca1b · a00ca1b
1 parent 4ca8df9
commit a00ca1b
Show file tree

Hide file tree

Showing 5 changed files with 1 addition and 19 deletions.
diff --git a/gobview b/gobview
diff --git a/src/build-info/build_info_js/dune b/src/build-info/build_info_js/dune
diff --git a/src/build-info/build_info_js/dune_build_info.ml b/src/build-info/build_info_js/dune_build_info.ml
diff --git a/src/sites/sites_js/dune b/src/sites/sites_js/dune
diff --git a/src/sites/sites_js/goblint_sites.ml b/src/sites/sites_js/goblint_sites.ml