Skip to content

Dont access POLYMAKE_DATA_DIR needlessly - #28

Merged
fingolfin merged 1 commit into
masterfrom
mh/avoid-POLYMAKE_DATA_DIR
Aug 18, 2026
Merged

fingolfin merged 1 commit into
masterfrom
mh/avoid-POLYMAKE_DATA_DIR

Commits

Commits on Aug 17, 2026