/* * winnojmp.c: stub jump list functions for Windows executables that * don't update the jump list. */ void add_session_to_jumplist(const char * const sessionname) {} void remove_session_from_jumplist(const char * const sessionname) {} void clear_jumplist(void) {}