https://gitlab.ow2.org/sat4j/sat4j.git
Tip revision: c73d87f468c81b0beb880775ca428b45dfe1d1c7 authored by Daniel Le Berre on 27 January 2019, 10:51:55 UTC
Merge branch 'EFFICIENCY_FIX' of https://gitlab.ow2.org/sat4j/sat4j into EFFICIENCY_FIX
Merge branch 'EFFICIENCY_FIX' of https://gitlab.ow2.org/sat4j/sat4j into EFFICIENCY_FIX
Tip revision: c73d87f
buildSite.sh
#!/bin/bash
rm -fR fakesite
mkdir fakesite
cp -R target/site/* fakesite
for module in `ls -d org.sat4j.*` ; do mv $module/target/site fakesite/$module ; done
