CVSROOT: /cvs Module name: ports Changes by: [email protected] 2019/01/09 17:17:55
Modified files:
lang/seed7 : Makefile distinfo
Log message:
Update to seed7-20190107
CVSROOT: /cvs Module name: ports Changes by: [email protected] 2019/01/09 17:17:55
Modified files:
lang/seed7 : Makefile distinfo
Log message:
Update to seed7-20190107