Changeset c130165 for doc

Timestamp:

Jan 7, 2023, 1:56:57 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, master

Children:

f28b1f8

Parents:

e78782b

Message:

small update to configure scripts, which should help for ubuntu 22.04

(No files)