diff options
| author | Dan Gudmundsson <[email protected]> | 2013-11-11 12:50:58 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2013-11-11 12:55:59 +0100 |
| commit | 8217d8dc329f53e182ae38e4659cdc8dbc8dd728 (patch) | |
| tree | d9b67e92b83511687fdd1e87e0751f337c0ab5af /lib/observer/priv/bin/getop | |
| parent | f77b4655155009f546e2fc6265ee454d203dfba2 (diff) | |
| download | otp-8217d8dc329f53e182ae38e4659cdc8dbc8dd728.tar.gz otp-8217d8dc329f53e182ae38e4659cdc8dbc8dd728.tar.bz2 otp-8217d8dc329f53e182ae38e4659cdc8dbc8dd728.zip | |
Remove etop gui
Use observer for the gui part
Diffstat (limited to 'lib/observer/priv/bin/getop')
| -rwxr-xr-x | lib/observer/priv/bin/getop | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/observer/priv/bin/getop b/lib/observer/priv/bin/getop deleted file mode 100755 index 5cd9bf3d76..0000000000 --- a/lib/observer/priv/bin/getop +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh - -NAME="etop" -erl -sname $NAME -noinput -hidden -s etop -s erlang halt $@ |