on_escape_press is now handled first in GameSession::update(). Using ESC to close...
[supertux.git] / tools / Jamfile
1 SubDir TOP tools ;
2
3 SubInclude TOP tools miniswig ;