Quelle  buildman.config   Sprache: unbekannt

msfiles=about,iso,jumpstart,misc,orderedsigs,reps,sigs,startsets,tutorial;
gdfiles=designs,lazy,misc,OneDiffset,plane_isomorphisms,reps,sigs,startsets,AllDiffsets;
LIB=../lib;