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
..
files
distinfo
Makefile
pkg-descr
pkg-plist