diff options
Diffstat (limited to 'change_cmd_name.patch')
| -rw-r--r-- | change_cmd_name.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/change_cmd_name.patch b/change_cmd_name.patch deleted file mode 100644 index 9a0c146b0601..000000000000 --- a/change_cmd_name.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/build/linux/processing 2020-06-18 10:59:49.559381692 +0200 -+++ b/build/linux/processing 2020-06-18 11:02:47.809690486 +0200 -@@ -103,7 +103,7 @@ - log PATH - - current_name=`basename $0` --cmd_name='processing-java' -+cmd_name='processing4-java' - - if [ $current_name = $cmd_name ] - then |