1
0
Fork 0
Commit graph

3 commits

Author SHA1 Message Date
Gerrit User 1001240
3ada95378b Update patch set 1
Change has been successfully merged into the git repository.

Patch-set: 1
Status: merged
Label: SUBM=+1
2009-04-01 14:28:08 +00:00
Gerrit User 1001240
5e7ef6caab Update patch set 1
Patch Set 1: Verified; Looks good to me, approved

Patch-set: 1
Reviewer: Gerrit User 1001240 <1001240@173816e5-2b9a-37c3-8a2e-48639d4f1153>
Label: Code-Review=+2
Label: Verified=+1
2009-04-01 14:27:48 +00:00
Gerrit User 1001240
db7d711dde Create change
Patch-set: 1
Change-id: I8f82a4f828c2765cc4585f9d749f5155f06fd9e9
Subject: Don't start the pager if stdout is a pipe
Branch: refs/heads/master
Commit: 8f82a4f828
2009-04-01 14:27:03 +00:00