tree 0dcde0cbb186c227e6c89af8aad9ec704a2dc67b parent b7a72058caea441b700dce3e470c503b54d6262c author Ken Sharp 1714739883 +0100 committer Ken Sharp 1714741728 +0100 Documentation - document --permit-devices with SAFER Also ntoe that some device parameters can not be changed once SAFER is active.