tree 837a27b2d002ee5e13c5a8152a7d879248c6ba00
parent 8713f8ffb87a28c94b4f22b9a9ec16c55381187e
author Paolo Bonzini <pbonzini@redhat.com> 1277798329 +0200
committer Blue Swirl <blauwirbel@gmail.com> 1278139633 +0000

remove unused stuff from */exec.h

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Blue Swirl <blauwirbel@gmail.com>