5 Commits

Include renames

Author	SHA1	Message	Date
jiri	5b3bd82bed	just testing the push mirror	2026-11-04 14:44:29 +01:00
jiri	c635795615	README - note about mirroring at github	2026-11-04 14:37:20 +01:00
jiri	05f5dd5ffc	updated README	2026-11-04 13:49:56 +01:00
jiri	9fd42584f5	updated readme	2021-04-22 11:23:23 +02:00
jiri	7296086860	added some aux files previously not migrated	2021-04-21 17:44:46 +02:00