| commit | 22fa64249c67c4580b0ad994475b6e33ae4bb705 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Sep 05 15:15:59 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Sep 05 15:15:59 1996 +0000 |
| tree | 4129b2914b319c248ac6725057692146d2159394 | |
| parent | 983c552c43de7a4d1fac8778068491e56526c544 [diff] |
Added a note that redirecting stdin/stdout does not work due to gusi bug.