benoit b8a3c6fac6 Update to seed7-20170530. пре 7 година
..
pkg b8a3c6fac6 Update to seed7-20170530. пре 7 година
Makefile b8a3c6fac6 Update to seed7-20170530. пре 7 година
distinfo b8a3c6fac6 Update to seed7-20170530. пре 7 година