diff options
author | garak <garakmon@gmail.com> | 2018-08-11 21:13:37 -0400 |
---|---|---|
committer | garak <garakmon@gmail.com> | 2018-08-11 21:13:37 -0400 |
commit | 0d6f8ba5e48fa73be242d62df8d940fa2c61c06a (patch) | |
tree | f9911182b96f562180b90799795315340bbd60e9 /include/script_menu.h | |
parent | 5d899d00e02553db75aa4a7e30e44190170ff45d (diff) |
add INSTALL sections for faster builds and NODEP
Diffstat (limited to 'include/script_menu.h')
0 files changed, 0 insertions, 0 deletions