diff options
author | Zandra Hird <[email protected]> | 2016-06-16 14:59:31 +0200 |
---|---|---|
committer | Zandra Hird <[email protected]> | 2016-06-17 11:50:18 +0200 |
commit | 0cf97f4d5c6a3c30dd7d8e200188001442b3822c (patch) | |
tree | 4d7395feac8526a01852e07aec2af4e4ebf38686 /bin/.gitignore | |
parent | c1b70a725a2cc5a64ff793b5f3ec79e82da3eff2 (diff) | |
download | otp-0cf97f4d5c6a3c30dd7d8e200188001442b3822c.tar.gz otp-0cf97f4d5c6a3c30dd7d8e200188001442b3822c.tar.bz2 otp-0cf97f4d5c6a3c30dd7d8e200188001442b3822c.zip |
Remove unused Cookie from ControlMessage in the dist protocol doc
The Cookie was removed a long time ago, but the documentation was
not updated accordingly.
Diffstat (limited to 'bin/.gitignore')
0 files changed, 0 insertions, 0 deletions