search

oscar-system / Polymake.jl

Interface to Polymake using CxxWrap
Other
25 stars 17 forks source link

init: avoid race condition when writing extension config #448

Closed benlorenz closed 10 months ago

benlorenz commented 10 months ago

should fix oscar-system/Oscar.jl#2701