Daniel Kolesa d748b0e671 remove state::get_idents ... this was never going to be good from API standpoint, and is no longer necessary (can use ident_count + get_ident by index with a loop, for example)		2021-05-16 00:51:26 +02:00
..
cubescript	remove state::get_idents	2021-05-16 00:51:26 +02:00
cubescript.hh	add initial doxygen documentation infra	2021-04-15 02:42:06 +02:00
cubescript_conf.hh	document values	2021-04-22 05:20:59 +02:00