Pietro Cerutti db7fc24e0e lang/seed7: update to 05_20201208 ... Relnotes: https://github.com/ThomasMertes/seed7/blob/a19763a/doc/chlog.txt		2020-12-11 17:29:54 +00:00
..
patch-mk_freebsd.mk	lang/seed7: update to 05_20201208	2020-12-11 17:29:54 +00:00