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

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