distrib/build_number.pyc
doomsday/*.pk3
doomsday/tools/shell/shell-gui/doomsday-shell.desktop
