Albert S. 22d442b040 argv0: default to name now, not the path		2018-10-04 22:00:14 +02:00
..
main.rs	argv0: default to name now, not the path	2018-10-04 22:00:14 +02:00