olivia 5e89d1e888 move old files to a separate directory		2018-04-26 21:29:11 +02:00
..
errors1.rs	move old files to a separate directory	2018-04-26 21:29:11 +02:00
errors2.rs	move old files to a separate directory	2018-04-26 21:29:11 +02:00
errors3.rs	move old files to a separate directory	2018-04-26 21:29:11 +02:00
errorsn.rs	move old files to a separate directory	2018-04-26 21:29:11 +02:00
option1.rs	move old files to a separate directory	2018-04-26 21:29:11 +02:00
result1.rs	move old files to a separate directory	2018-04-26 21:29:11 +02:00