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

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