diff options
| author | Kartik Agaram <vc@akkartik.com> | 2019-05-22 22:48:02 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2019-05-22 22:48:02 -0700 |
| commit | a91fdac3afc541bdf7f3458cba58367f044ef348 (patch) | |
| tree | eebf9bb2aa5c633e3c91585fc4bd547cd65d5c82 /args.mu | |
| parent | d1fa22f7b45378ddb6ce4eaf04f36f6c0bf0203c (diff) | |
| download | mu-a91fdac3afc541bdf7f3458cba58367f044ef348.tar.gz | |
5222
Fix CI for a real, restricted /bin/sh.
Diffstat (limited to 'args.mu')
0 files changed, 0 insertions, 0 deletions