diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-28 12:56:32 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-28 12:56:32 -0700 |
| commit | fd1ed5b23246142fa2b8ee41f25f332439dd3656 (patch) | |
| tree | 5216605ff5dac3b493a77c3ed74ae3cb9e75a811 /src/misc/extra | |
| parent | 6095b1517488139c4d6b94507bc230cf4588ffd3 (diff) | |
| download | abc-fd1ed5b23246142fa2b8ee41f25f332439dd3656.tar.gz abc-fd1ed5b23246142fa2b8ee41f25f332439dd3656.tar.bz2 abc-fd1ed5b23246142fa2b8ee41f25f332439dd3656.zip | |
Added dumping original object names into a file.
Diffstat (limited to 'src/misc/extra')
0 files changed, 0 insertions, 0 deletions