diff options
| author | yenatch <yenatch@gmail.com> | 2017-07-17 19:53:28 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-17 19:53:28 -0400 |
| commit | d01a28c82fd25b8a92cbb1d508279e34690e3d26 (patch) | |
| tree | a42c4a16211f1c2bd977e09ec583b77107723b7e /include/menu.h | |
| parent | cc3da4cdc00eb0c1ed36f50780b00c0d843884a1 (diff) | |
| parent | 6bd06efe462c8b894559234dcf05e5a55b72c0a0 (diff) | |
Merge pull request #359 from marijnvdwerf/fix-755
Mark source files as non-executable
Diffstat (limited to 'include/menu.h')
| -rw-r--r--[-rwxr-xr-x] | include/menu.h | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/include/menu.h b/include/menu.h index 9b48ab79b..9b48ab79b 100755..100644 --- a/include/menu.h +++ b/include/menu.h |