Previous: S_dot_constant, Up: Miscellaneous params [Contents][Index]
null_file
The name of the null file or device. For more discussion, see Change files.