Edit history for page: eggref/5/define-options

revision	author	date	description	r1	r2
42995	Idiomdrottning	Thu Nov 2 16:19:00 2023	Better handling of default display
42994	Idiomdrottning	Thu Nov 2 14:35:00 2023	Show default values
40166	Idiomdrottning	Wed Jun 2 12:23:00 2021
40159	Idiomdrottning	Tue Jun 1 15:27:00 2021	A new egg