diff options
author | Dario Ostuni | 2018-06-10 18:31:04 +0200 |
---|---|---|
committer | Dario Ostuni | 2018-06-10 18:31:04 +0200 |
commit | a3ea5f6e241955e7e3c52621bd91ebbb692a553b (patch) | |
tree | 0fdd5dbd7399b3dc8077b2512ba7cf3fcfe655b4 /launcher | |
parent | c60e694e80298fafdb2c589d72256818eed12628 (diff) | |
download | aur-a3ea5f6e241955e7e3c52621bd91ebbb692a553b.tar.gz |
Bump version
Diffstat (limited to 'launcher')
-rwxr-xr-x | launcher | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/launcher b/launcher deleted file mode 100755 index 521c8fe36f95..000000000000 --- a/launcher +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash - -/opt/task-maker-git/task_maker "$@" |