Commit e1950891 authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files

Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git

parents d4ff34d1 c44dfa3a
Pipeline #3255 failed with stages
in 30 minutes and 21 seconds