https://gitlab.ow2.org/sat4j/sat4j.git
Tip revision: 5080fed0937039c7da843df60eeff050c1f8fd0d authored by Daniel Le Berre on 01 March 2022, 22:08:31 UTC
call jacoco:report after deploy goal
call jacoco:report after deploy goal
Tip revision: 5080fed
.project
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>org.sat4j.maxsat</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.eclipse.jdt.core.javabuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.m2e.core.maven2Builder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.m2e.core.maven2Nature</nature>
<nature>org.eclipse.jdt.core.javanature</nature>
</natures>
</projectDescription>
