disasm.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Fri, 14 Oct 2011 00:52:40 +0300
changeset 1035 2e8f84478a07
parent 892 9cecee6342a3
permissions -rw-r--r--
Isabelle.

-*- mode: outline; coding: utf-8 -*-

* objdump.

  $ objdump -w -d file.o