diff options
author | John Denker <jsd@av8n.com> | 2013-10-16 16:14:22 -0700 |
---|---|---|
committer | John Denker <jsd@av8n.com> | 2013-10-18 05:33:22 -0700 |
commit | 3c7f459211c744e91e02d7a73c3deffe76f41987 (patch) | |
tree | c4a3e3bde7fd620c44a7ab054af0f7881e489365 /include/trace | |
parent | b00fd6278842a25b44cca9796b2a0532602bacf0 (diff) |
make devrand pool the same as input pool;
better comments
Diffstat (limited to 'include/trace')
0 files changed, 0 insertions, 0 deletions