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