On Tue, 19 Jun 2012, Øystein Schønning-Johansen wrote:
Which tool did you use to roll out?
I used sagnubg, from gnubg-nn/sa. It didn't work at first, I had to fix a small error (nothing involving the quality of results).
_______________________________________________ Bug-gnubg mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-gnubg
