CVSROOT: /cvs Module name: ports Changes by: [email protected] 2017/07/05 08:19:53
Modified files:
lang/seed7 : Makefile distinfo
Log message:
Update to 20170702. Re-take MAINTAINER.
ok benoit@
CVSROOT: /cvs Module name: ports Changes by: [email protected] 2017/07/05 08:19:53
Modified files:
lang/seed7 : Makefile distinfo
Log message:
Update to 20170702. Re-take MAINTAINER.
ok benoit@