Merge branch 'live' of vcs.fsf.org:enc-live into live
[enc-live.git] / copy-enc-to-live
2021-08-15 Thérèse GodefroyAdd tools to synchronize enc-live with enc.