[PPL-devel] [GIT] ppl/ppl(devel): Updated by autoreconf -f -i.

10 Sep 2024


      Module: ppl/ppl
Branch: devel
Commit: f4681d015263da9f5413f16a6b21d95af3f5b4a7
Author: Abramo Bagnara abramo.bagnara@bugseng.com
Date:   Tue Sep 10 06:56:43 2024 +0200
Updated by autoreconf -f -i.
---
compile       |    6 +-
 config.guess  | 1236 ++++++++++++++++++++++++++++++---------------------------
 config.sub    |   94 +++--
 depcomp       |    2 +-
 ltmain.sh     |    4 +-
 m4/libtool.m4 |    4 +-
 missing       |    2 +-
 mkinstalldirs |   22 +-
 test-driver   |   19 +-
 9 files changed, 739 insertions(+), 650 deletions(-)