Revision 83dae095
ID | 83dae09588e4d946a1c5e3916cdb4b6d6126858e |
remove unused stuff from */exec.h
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Blue Swirl <blauwirbel@gmail.com>
Files
- added
- modified
- copied
- renamed
- deleted
ID | 83dae09588e4d946a1c5e3916cdb4b6d6126858e |
Added by Paolo Bonzini over 13 years ago
remove unused stuff from */exec.h
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Blue Swirl <blauwirbel@gmail.com>