remove deprecated script

2015-10-17 12:12:59 +02:00 · 2015-10-17 12:12:59 +02:00 · 36383d28c9
parent da79f02fc3
commit 36383d28c9
1 changed files with 0 additions and 1 deletions
--- a/contrib/make_commands_list
+++ b/contrib/make_commands_list
@ -1 +0,0 @@
-cat lib/commands.py|grep register_command|sed "s/register_command(\(.*\))/\1/" |sed "s/'//g"| awk -F, '{print "|-\n|" $1 "|| " $7 "|| " $8 "|| " $4 "|| " $5 "|| " $6 }'
				`@ -1 +0,0 @@`
				`cat lib/commands.py\|grep register_command\|sed "s/register_command(\(.*\))/\1/" \|sed "s/'//g"\| awk -F, '{print "\|-\n\|" $1 "\|\| " $7 "\|\| " $8 "\|\| " $4 "\|\| " $5 "\|\| " $6 }'`