Bill Currie afd1eb775b [gamecode] Rename ev_pointer to ev_ptr ... Rather short (no worse than ev_int, though) but more consistency is usually a good thing.		2022-01-18 14:36:06 +09:00
..
pr_comp.h	[gamecode] Rename ev_integer to ev_int	2022-01-18 13:27:19 +09:00
pr_debug.h	[gamecode] Move progs auxiliary headers into a subdirectory	2022-01-09 00:26:52 +09:00
pr_obj.h	[gamecode] Clean up string_t and pointer_t	2022-01-18 12:11:14 +09:00
pr_type.h	[gamecode] Rename ev_pointer to ev_ptr	2022-01-18 14:36:06 +09:00
pr_type_names.h	[gamecode] Rename ev_pointer to ev_ptr	2022-01-18 14:36:06 +09:00