Sun, 05 Sep 2010 23:31:12 +0200 | wenzelm | use setmp_noncritical for PGIP, which is presumably sequential (PG clone); | changeset | files |
Sun, 05 Sep 2010 23:26:16 +0200 | wenzelm | use setmp_noncritical for sequential Pure bootstrap; | changeset | files |
Sun, 05 Sep 2010 23:16:21 +0200 | wenzelm | turned show_brackets into proper configuration option; | changeset | files |