diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-06-18 17:07:04 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-06-18 17:07:04 -0400 |
| commit | a9f4d270c69f4cb746360a46e605031c4ecb26b7 (patch) | |
| tree | a07fb8c823a1c14149899c04c8136c71bfd8c58a /etc/machine.sh | |
| parent | e966c5ac810c7214b3f25c9f8ff7b965c0174f51 (diff) | |
more sh portability fixes...
Diffstat (limited to 'etc/machine.sh')
0 files changed, 0 insertions, 0 deletions