benoit e506f7a536 Update to seed7-20151216.

2015-12-17 09:10:57 +00:00

..

pkg

Update to seed7-20151129.

2015-11-30 08:09:57 +00:00

distinfo

Update to seed7-20151216.

2015-12-17 09:10:57 +00:00

Makefile

Update to seed7-20151216.

2015-12-17 09:10:57 +00:00