Plasma GitLab Archive
Projects Blog Knowledge

Previous  Up  Next

Class Netgzip.inflating_pipe

class inflating_pipe : unit -> Netchannels.io_obj_channel

An inflating (uncompressing) pipe for gzip data, to be used in filters

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml