Plasma GitLab Archive
Projects Blog Knowledge

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