diff options
| author | Dan Gudmundsson <[email protected]> | 2013-12-20 10:44:42 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2013-12-20 10:44:42 +0100 |
| commit | 6f0b3bd3fc28de703490470630922873775c97f5 (patch) | |
| tree | 520b662b4459499e8c58b658285368d81334d326 /lib/pman/priv/pman.tool | |
| parent | 0b68c48630311c5c97db50159c3076fa5b17a43d (diff) | |
| parent | 560f73141afbc1ef41d6c8acb3974b3632ad6f25 (diff) | |
| download | otp-6f0b3bd3fc28de703490470630922873775c97f5.tar.gz otp-6f0b3bd3fc28de703490470630922873775c97f5.tar.bz2 otp-6f0b3bd3fc28de703490470630922873775c97f5.zip | |
Merge branch 'dgud/remove-gs-apps/OTP-10915'
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"}}. |