diff options
| author | Dan Gudmundsson <[email protected]> | 2013-11-07 15:42:36 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2013-11-07 15:42:36 +0100 |
| commit | d45950d46037d169d5efd969ac2e3b7477481f9c (patch) | |
| tree | 0e3916a1cf5f2a44eab36f491485505dd199f641 /lib/pman/priv/pman.tool | |
| parent | ebd380903569c2ae254849128542297629946feb (diff) | |
| download | otp-d45950d46037d169d5efd969ac2e3b7477481f9c.tar.gz otp-d45950d46037d169d5efd969ac2e3b7477481f9c.tar.bz2 otp-d45950d46037d169d5efd969ac2e3b7477481f9c.zip | |
Remove pman
Diffstat (limited to 'lib/pman/priv/pman.tool')
| -rw-r--r-- | lib/pman/priv/pman.tool | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/lib/pman/priv/pman.tool b/lib/pman/priv/pman.tool deleted file mode 100644 index c04b7d00eb..0000000000 --- a/lib/pman/priv/pman.tool +++ /dev/null @@ -1,6 +0,0 @@ -{version,"0.1"}. -{{tool,"Pman"}, - {start,{pman,start,[]}}, - {icon,"pman.gif"}, - {message,"Process Manager"}, - {html,"../doc/html/index.html"}}. |