diff options
author | Fredrik Domeij <fredrik.domeij@umu.se> | 2020-10-27 12:37:12 +0100 |
---|---|---|
committer | Fredrik Domeij <fredrik.domeij@umu.se> | 2020-10-27 12:37:12 +0100 |
commit | 0845630639ad1d46813368cc56ef1c9a6347ea2f (patch) | |
tree | 6ad5840352cd1c1cc4a27cd309456d7496a72452 /.time | |
parent | 8bbc085b2add99369aac8542821614e5ed6479cb (diff) |
only complain about CoCo if shell is interactive
Diffstat (limited to '.time')
0 files changed, 0 insertions, 0 deletions