Changes between Initial Version and Version 1 of Ticket #9476, comment 37


Ignore:
Timestamp:
Sep 7, 2018 11:47:21 AM (13 months ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9476, comment 37

    initial v1  
    55* If I switched it off altogether, what happens?
    66* If I switch off pieces of it, what happens?  We've discussed some of these pieces above, but not all, I think.
     7
     8All good grist for the paper. (Which I have not yet looked at.)