diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-05-10 12:13:12 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-05-10 12:13:12 -0400 |
commit | 3380a1634d20006b5e717ad122eb51f9cb9e0afe (patch) | |
tree | a5194c2aec19f3de776bc4092658fc39691f84e3 /tests/nomangle.ur | |
parent | 5f9e9a73c820725b543ae012dac88b659880cfbf (diff) |
Make naughtyDebug use protocol-specific logging
Diffstat (limited to 'tests/nomangle.ur')
0 files changed, 0 insertions, 0 deletions