diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2012-10-24 11:12:21 +0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2012-12-19 08:29:06 +0100 |
commit | 76cad71136b7eb371cf2a2a4e1621cfe8d9c769a (patch) | |
tree | 88d6951ea0620e95d2bad4d458f2c51147b4218b /.gitignore | |
parent | c1c9367216c97ca93de79e90822045a425d7e76d (diff) |
build: kill libdis, move disassemblers to disas/
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index bd6ba1c71e..ca52f01ab2 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,6 @@ config-devices.* config-all-devices.* +config-all-disas.* config-host.* config-target.* trace.h |