get_stdin_pipe


Description:

public unowned OutputStream? get_stdin_pipe ()