Jacob Hrbek 369652f4af sync		2022-09-23 12:09:47 +02:00
..
sync-upstream.ss	sync	2022-09-23 12:09:47 +02:00
zz-README.org	automation/pull-mirror: Initial declaration	2022-09-22 08:34:44 +02:00