I believe this one: https://en.wikipedia.org/wiki/DWARF
On Tue, Aug 4, 2020 at 11:18 PM Alexander Ilin <ajs...@yandex.ru> 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 > Factor-talk@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/factor-talk >
_______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk
