diff options
Diffstat (limited to 'docs/en/gun/1.2/manual/gun_down')
| -rw-r--r-- | docs/en/gun/1.2/manual/gun_down/index.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/en/gun/1.2/manual/gun_down/index.html b/docs/en/gun/1.2/manual/gun_down/index.html index 30316336..5f09baab 100644 --- a/docs/en/gun/1.2/manual/gun_down/index.html +++ b/docs/en/gun/1.2/manual/gun_down/index.html @@ -65,7 +65,7 @@ <h2 id="_name">Name</h2> <p>gun_down - The connection is down</p> <h2 id="_description">Description</h2> -<div class="listingblock"><div class="content"><!-- Generator: GNU source-highlight 3.1.8 +<div class="listingblock"><div class="content"><!-- Generator: GNU source-highlight 3.1.9 by Lorenzo Bettini http://www.lorenzobettini.it http://www.gnu.org/software/src-highlite --> @@ -106,7 +106,7 @@ http://www.gnu.org/software/src-highlite --> </ul> <h2 id="_examples">Examples</h2> <div class="listingblock"><div class="title">Receive a gun_down message in a gen_server</div> -<div class="content"><!-- Generator: GNU source-highlight 3.1.8 +<div class="content"><!-- Generator: GNU source-highlight 3.1.9 by Lorenzo Bettini http://www.lorenzobettini.it http://www.gnu.org/software/src-highlite --> |