Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
build/pkgs/{database_stein_watkins, polytopes_db_4d}: Mark as huge pa…
Browse files Browse the repository at this point in the history
…ckages
  • Loading branch information
Matthias Koeppe committed Feb 13, 2022
1 parent 74ca883 commit ce1924c
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 0 deletions.
Empty file.
Empty file added build/pkgs/polytopes_db_4d/huge
Empty file.

0 comments on commit ce1924c

Please sign in to comment.