diff options
Diffstat (limited to 'WINDOWS/WINNOJMP.C')
-rw-r--r-- | WINDOWS/WINNOJMP.C | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/WINDOWS/WINNOJMP.C b/WINDOWS/WINNOJMP.C deleted file mode 100644 index dd61dc69..00000000 --- a/WINDOWS/WINNOJMP.C +++ /dev/null @@ -1,8 +0,0 @@ -/* - * 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) {} |