José Luis Lafuente 535694122e C API: rename State to EvalState		2024-03-28 10:51:59 +01:00
..
external-api	C API: rename State to EvalState	2024-03-28 10:51:59 +01:00
internal-api	Simplify RapidCheck configure	2024-01-15 08:05:05 -05:00
manual	doc/local.mk: Add manual-html-open phony target for auto-opening the browser (#10308)	2024-03-27 22:28:05 +01:00