diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2010-06-29 09:58:49 +0200 |
---|---|---|
committer | Blue Swirl <blauwirbel@gmail.com> | 2010-07-03 06:47:13 +0000 |
commit | 83dae09588e4d946a1c5e3916cdb4b6d6126858e (patch) | |
tree | 837a27b2d002ee5e13c5a8152a7d879248c6ba00 /Makefile.user | |
parent | 8713f8ffb87a28c94b4f22b9a9ec16c55381187e (diff) |
remove unused stuff from */exec.h
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Blue Swirl <blauwirbel@gmail.com>
Diffstat (limited to 'Makefile.user')
0 files changed, 0 insertions, 0 deletions