Eelco Dolstra 0f314f3c25 Generate builtins section of the manual		2020-08-24 14:49:30 +02:00
..
manual	Generate builtins section of the manual	2020-08-24 14:49:30 +02:00