diff options
Diffstat (limited to 'nls/C/Workspacemenu.m')
| -rw-r--r-- | nls/C/Workspacemenu.m | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/nls/C/Workspacemenu.m b/nls/C/Workspacemenu.m deleted file mode 100644 index 5423a191..00000000 --- a/nls/C/Workspacemenu.m +++ /dev/null @@ -1,8 +0,0 @@ -$set 12 #Workspacemenu - -$ #WorkspacesTitle -# Workspaces -$ #NewWorkspace -# New Workspace -$ #RemoveLast -# Remove Last |