sejo e5edc774dd created 12021 directory		2023-12-06 21:08:10 +01:00
..
05.awk	created 12021 directory	2023-12-06 21:08:10 +01:00
05_2.awk	created 12021 directory	2023-12-06 21:08:10 +01:00
05_2_new.awk	created 12021 directory	2023-12-06 21:08:10 +01:00
05_2_newer.awk	created 12021 directory	2023-12-06 21:08:10 +01:00
Makefile	created 12021 directory	2023-12-06 21:08:10 +01:00