sage

34f35941 - src/sage/doctest/__main__.py: Test that the command-line defaults are consistent