Searched refs:COPYRIGHT_BANNER_A (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dpatchlevel.h18 #define COPYRIGHT_BANNER_A \ macro
142 * updated COPYRIGHT_BANNER_A to reflect year of release.
159 * updated COPYRIGHT_BANNER_A to reflect year of release
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dpatchlevel.h18 #define COPYRIGHT_BANNER_A \ macro
142 * updated COPYRIGHT_BANNER_A to reflect year of release.
159 * updated COPYRIGHT_BANNER_A to reflect year of release
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/
H A Dwintty.c311 tty_putstr(BASE_WINDOW, 0, COPYRIGHT_BANNER_A);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/
H A Dwintty.c311 tty_putstr(BASE_WINDOW, 0, COPYRIGHT_BANNER_A);

Completed in 41 milliseconds