file.gzip: gzip a file.

Description Usage Arguments Value Author(s)

Description

gzip a file.

Usage

1
file.gzip(from)

Arguments

from

the file name to be gzipped

Value

none. side effect of gzipping a file.

Author(s)

Mark Cowley, 27 May 2005


drmjc/mjcbase documentation built on May 15, 2019, 2:27 p.m.