make nestedvm work with gcc-4.2
[nestedvm.git] / upstream / misc / tex.ch
2004-05-21 brianadd tex.ch