remove unused files

scipopt · Feb 17, 2024 · 10c9a8d · 10c9a8d
1 parent 79a4763
commit 10c9a8d
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 65 deletions.
diff --git a/www/about.inc b/www/about.inc
diff --git a/www/license.inc b/www/license.inc