diff options
author | Enrico Tassi <gareuselesinge@debian.org> | 2015-07-15 11:37:33 +0200 |
---|---|---|
committer | Enrico Tassi <gareuselesinge@debian.org> | 2015-07-15 13:16:08 +0200 |
commit | 9efa102039972ea78f63317caa9da7b91bfd6d72 (patch) | |
tree | 19bf4dcfb14331de42d003114e2950554ba51544 /lib/backtrace.mli | |
parent | e347929583f820a2cc0296597b6382309e930989 (diff) |
Remove unneeded comment
Diffstat (limited to 'lib/backtrace.mli')
0 files changed, 0 insertions, 0 deletions