diff options
| author |  Philipp Wollermann <philwo@google.com> | 2015-07-16 12:32:37 +0000 |
|---|---|---|
| committer | Philipp Wollermann <philwo@google.com> | 2015-07-17 13:17:18 +0000 |
| commit | 29e66457e0e2f44bde567956da2c6ddc5791249c (patch) | |
| tree | 649e9e8952d6fa5480e24444bd97720ba8a29171 /src/main/java/com/google/devtools/build | |
| parent | 6b771028072f494eeae21862327f94bbb56c467b (diff) | |
Document that the "run" command closes stdin.
--
MOS_MIGRATED_REVID=98393704
Diffstat (limited to 'src/main/java/com/google/devtools/build')
0 files changed, 0 insertions, 0 deletions