Changeset 6b00c53 for Jenkins

Timestamp:

Jul 31, 2022, 2:03:18 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, master, pthread-emulation

Children:

d71db1a

Parents:

9d2609fa

Message:

Jenkins no longer offers the option to build the old ast

(No files)