Symbol: jumping
games/robots/move.c
278
if (!jumping())
games/robots/play_level.c
76
if (!jumping())
games/robots/robots.h
117
bool jumping(void);