Children from resource:basis
VocabularySummary
game.input.gtkLinux backend for game input.
game.input.x11Linux backend for game input.


Children from resource:extra
VocabularySummary
backtrackSimple non-determinism