2012-06-23 | Christian Grothoff | -comment / naming cleanups | blob | commitdiff | raw |
2012-06-01 | Christian Grothoff | -also run fs by default | blob | commitdiff | raw | diff to current |
2012-03-24 | Christian Grothoff | -extending defaults | blob | commitdiff | raw | diff to current |
2012-01-13 | Christian Grothoff | change default configurations on systems with UNIX... | blob | commitdiff | raw | diff to current |