[PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
roberto.bagnara at bugseng.com
Tue Aug 13 19:47:01 CEST 2019
Module: ppl/ppl
Branch: master
Commit: fe66d8719af728506b80f2d772c4e2cdd87f2a8e
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe66d8719af728506b80f2d772c4e2cdd87f2a8e
Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date: Tue Aug 13 19:46:46 2019 +0200
Updated.
---
config.guess | 282 +++++++++++++++++++++++++++++++++++++++++++++++-----------
config.sub | 59 +++++++------
2 files changed, 260 insertions(+), 81 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=fe66d8719af728506b80f2d772c4e2cdd87f2a8e
More information about the PPL-devel
mailing list