I believe this one: https://en.wikipedia.org/wiki/DWARF
On Tue, Aug 4, 2020 at 11:18 PM Alexander Ilin <[email protected]> wrote: > What is extra/dwarf? I see no docs, not even a summary, and git-blame > reveals nothing useful. > Is it related to the ELF format? > > ---=====--- > Александр > > > > _______________________________________________ > Factor-talk mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/factor-talk >
_______________________________________________ Factor-talk mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/factor-talk
