aboutsummaryrefslogtreecommitdiff
path: root/lang/seed7/distinfo
Commit message (Expand)AuthorAgeFilesLines
* lang/seed7: update to 06_20210807Pietro Cerutti2021-08-091-3/+3
* lang/seed7: update to 05_20210627Pietro Cerutti2021-06-281-3/+3
* lang/seed7: update to 05_20210425Pietro Cerutti2021-04-271-3/+3
* lang/seed7: update to 05_20210322Pietro Cerutti2021-04-221-3/+3
* lang/seed7: update to 05_20210106Pietro Cerutti2021-01-111-3/+3
* lang/seed7: update to 05_20201208Pietro Cerutti2020-12-111-3/+3
* lang/seed7: update to 05_20200531Pietro Cerutti2020-06-041-3/+3
* lang/seed7: update to 05_20200502Pietro Cerutti2020-05-061-3/+3
* lang/seed8: update to 05_20200308Pietro Cerutti2020-03-091-3/+3
* lang/seed7: update to 05_20191229Pietro Cerutti2020-01-141-3/+3
* lang/seed7: update to 05_20190818Pietro Cerutti2019-08-191-3/+3
* lang/seed7: update to 05_20190714Pietro Cerutti2019-07-241-3/+3
* lang/seed7: update to 05_20190407Pietro Cerutti2019-04-081-3/+3
* lang/seed7: update to 05_20190303Pietro Cerutti2019-03-121-3/+3
* lang/seed7: update to 05_20190107Pietro Cerutti2019-01-091-3/+3
* lang/seed7: update to 05_20181125Pietro Cerutti2018-11-261-3/+3
* lang/seed7: update to 05_20181014Pietro Cerutti2018-10-151-3/+3
* lang/seed7: update to 05_20180821Pietro Cerutti2018-09-101-3/+3
* lang/seed7: update to 05_20180708Pietro Cerutti2018-07-161-3/+3
* lang/seed7: update to 05_20180601Pietro Cerutti2018-06-041-3/+3
* lang/seed7: update to 05_20180304Pietro Cerutti2018-03-051-3/+3
* lang/seed7: update to 05_20180107Pietro Cerutti2018-01-081-3/+3
* lang/seed7: update to 05_20170915Pietro Cerutti2017-10-271-3/+3
* lang/seed7: update to 05_20170501Pietro Cerutti2017-05-041-3/+3
* lang/seed7: update to 05_20170129Pietro Cerutti2017-01-301-3/+3
* lang/seed7: update to 05_20161231Pietro Cerutti2017-01-021-3/+3
* lang/seed7: update to 05_20161031Pietro Cerutti2016-11-231-3/+3
* lang/seed7: update to 05_20161002Pietro Cerutti2016-10-031-3/+3
* lang/seed7: update to 05_20160831Pietro Cerutti2016-09-021-3/+3
* lang/seed7: update to 05_20160731Pietro Cerutti2016-08-291-3/+3
* lang/seed7: update to 05_20160630Pietro Cerutti2016-07-011-3/+3
* lang/seed7: update to 05_20160531Pietro Cerutti2016-06-011-3/+3
* lang/seed7: update to 05_20160430Pietro Cerutti2016-05-201-2/+3
* lang/seed7: update to 05_20160330Pietro Cerutti2016-04-081-2/+2
* lang/seed7: update to 05_20160229Pietro Cerutti2016-03-081-2/+2
* lang/seed7: take back this port, update to 05_20160130.Pietro Cerutti2016-02-051-2/+2
* - Update to 05_20140907Pietro Cerutti2014-09-101-2/+2
* - Update to 05_20140817Pietro Cerutti2014-08-281-2/+2
* - Update to 05_20140803Pietro Cerutti2014-08-041-2/+2
* - Update to 05_20140720Pietro Cerutti2014-07-211-2/+2
* - Update to 05_20140706Pietro Cerutti2014-07-081-2/+2
* - Update to 05_20140615Pietro Cerutti2014-06-231-2/+2
* - Update to 05_20140601Pietro Cerutti2014-06-031-2/+2
* - Update to 05_20140518Pietro Cerutti2014-05-191-2/+2
* - Update to 05_20140420Pietro Cerutti2014-05-121-2/+2
* - Update to 05_20140420Pietro Cerutti2014-04-221-2/+2
* - Update to 05_20140406Pietro Cerutti2014-04-151-2/+2
* - Update to 05_20140316Pietro Cerutti2014-03-171-2/+2
* - Update to 05_20140302Pietro Cerutti2014-03-131-2/+2
* - Update to 05_20140216Pietro Cerutti2014-02-171-2/+2