diff options
Diffstat (limited to 'docs/en/gun/1.2/manual/gun_push/index.html')
-rw-r--r-- | docs/en/gun/1.2/manual/gun_push/index.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/en/gun/1.2/manual/gun_push/index.html b/docs/en/gun/1.2/manual/gun_push/index.html index b0db9619..a32dec5a 100644 --- a/docs/en/gun/1.2/manual/gun_push/index.html +++ b/docs/en/gun/1.2/manual/gun_push/index.html @@ -65,7 +65,7 @@ <h2 id="_name">Name</h2> <p>gun_push - Server-initiated push</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 --> @@ -108,7 +108,7 @@ http://www.gnu.org/software/src-highlite --> </ul> <h2 id="_examples">Examples</h2> <div class="listingblock"><div class="title">Receive a gun_push 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 --> @@ -119,7 +119,7 @@ http://www.gnu.org/software/src-highlite --> {<font color="#FF6600">noreply</font>, <font color="#009900">State</font>}<font color="#990000">.</font></tt></pre> </div></div> <div class="listingblock"><div class="title">Cancel an unwanted push</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 --> |