« Previous | Next » 

Revision 83dae095

ID83dae09588e4d946a1c5e3916cdb4b6d6126858e

Added by Paolo Bonzini over 13 years ago

remove unused stuff from */exec.h

Signed-off-by: Paolo Bonzini <>
Signed-off-by: Blue Swirl <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences