David W. Chapman Jr. c89b58d3f7 Update to latest snapshot
Add IS_INTERACTIVE

PR:		36623
Submitted by:	maintainer
2002-04-01 18:08:08 +00:00
..
2002-04-01 18:08:08 +00:00
2002-01-30 19:47:44 +00:00