Edit history for page: eggref/6/crunch

revision	author	date	description	r1	r2
43928	felix	Wed Nov 27 18:18:00 2024	explain name-mangling
43925	felix	Wed Nov 27 12:54:00 2024	typos, highlighting
43921	felix	Tue Nov 26 21:48:00 2024	fix source links
43906	felix	Sat Nov 16 16:32:00 2024	crunch manual