chiark / gitweb /
tripe.h: Make job index be unsigned int, not unsigned short.