diff options
author | 2020-07-02 13:56:39 -0400 | |
---|---|---|
committer | 2020-07-02 13:56:39 -0400 | |
commit | b87984408aa34e53bfcd75bfa87fbd7c216d62b7 (patch) | |
tree | 74cee84b3a81c4ae447452d56d5f5a5c0e786bfc /scripts/src/machine.lua | |
parent | 7a6bdd1f480377443645f2cc63e42a8b7cc289d9 (diff) | |
parent | 4071b43efe0c2d5d822fb685a5829c111450cc5b (diff) |
Merge pull request #6894 from 68bit/6821pia-side-effects
6821pia: guard against side effects when these should be disabled
Diffstat (limited to 'scripts/src/machine.lua')
0 files changed, 0 insertions, 0 deletions