/*
* 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) {}