diff options
| author | Robert Morris | 2020-08-28 05:44:09 -0400 |
|---|---|---|
| committer | Frans Kaashoek | 2020-08-28 09:00:41 -0400 |
| commit | 748809e1b36cd08b21ddfdf79486787cc5c85453 (patch) | |
| tree | ee9d5d2664b572979758d8569aea2ff89fcf8193 /user | |
| parent | de434fd933a07fba80d16441a5cd70ebebcde518 (diff) | |
suppress write() output after panic()
Diffstat (limited to 'user')
0 files changed, 0 insertions, 0 deletions