diff options
| author | Jakob Odersky <jodersky@gmail.com> | 2015-04-26 15:44:16 +0200 |
|---|---|---|
| committer | Jakob Odersky <jodersky@gmail.com> | 2015-04-26 15:47:29 +0200 |
| commit | 7df7eaeb8ea308751757775ec249b9f84da249d6 (patch) | |
| tree | 316d0a8f052d3896309381c7d01e4c126e5eeaa5 /toggle-workspace@jodersky.github.com/metadata.json | |
| download | toggle-workspace-7df7eaeb8ea308751757775ec249b9f84da249d6.tar.gz toggle-workspace-7df7eaeb8ea308751757775ec249b9f84da249d6.tar.bz2 toggle-workspace-7df7eaeb8ea308751757775ec249b9f84da249d6.zip | |
initial commit
Diffstat (limited to 'toggle-workspace@jodersky.github.com/metadata.json')
| -rw-r--r-- | toggle-workspace@jodersky.github.com/metadata.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toggle-workspace@jodersky.github.com/metadata.json b/toggle-workspace@jodersky.github.com/metadata.json new file mode 100644 index 0000000..05de530 --- /dev/null +++ b/toggle-workspace@jodersky.github.com/metadata.json @@ -0,0 +1 @@ +{"shell-version": ["3.14"], "uuid": "toggle-workspace@jodersky.github.com", "name": "Toggle Workspace", "description": "Enables fast switching between the current and primary workspace."}
\ No newline at end of file |