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 5423a19..0000000 --- a/nls/C/Workspacemenu.m +++ /dev/null | |||
| @@ -1,8 +0,0 @@ | |||
| 1 | $set 12 #Workspacemenu | ||
| 2 | |||
| 3 | $ #WorkspacesTitle | ||
| 4 | # Workspaces | ||
| 5 | $ #NewWorkspace | ||
| 6 | # New Workspace | ||
| 7 | $ #RemoveLast | ||
| 8 | # Remove Last | ||