Searched refs:OPTIONS_HEADING (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Doptions.c2322 # define OPTIONS_HEADING "OPTIONS" macro
2324 # define OPTIONS_HEADING "NETHACKOPTIONS" macro
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Doptions.c2322 # define OPTIONS_HEADING "OPTIONS" macro
2324 # define OPTIONS_HEADING "NETHACKOPTIONS" macro

Completed in 39 milliseconds