benoit b8a3c6fac6 Update to seed7-20170530. 7 tahun lalu
..
pkg b8a3c6fac6 Update to seed7-20170530. 7 tahun lalu
Makefile b8a3c6fac6 Update to seed7-20170530. 7 tahun lalu
distinfo b8a3c6fac6 Update to seed7-20170530. 7 tahun lalu