diff options
| author | gingerBill <gingerBill@users.noreply.github.com> | 2018-08-08 22:41:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-08 22:41:42 +0100 |
| commit | 392861432634aed3958fda4ff916357758af9046 (patch) | |
| tree | 34d9e69683748d6d52d10d0cf864c2ee2b882b11 /src/check_expr.cpp | |
| parent | 3a1a7b40f97a072f9f42e8f11f4b37685661a1f7 (diff) | |
| parent | 5e5f5bfa8d209b1d5c7297503e3bc1307c17ea0a (diff) | |
Merge pull request #241 from thebirk/fix-sh-main-not-found
Fixed 'sh: main: command not found' error on linux.
Diffstat (limited to 'src/check_expr.cpp')
0 files changed, 0 insertions, 0 deletions