Changeset ad41cbd for Jenkinsfile

Timestamp:

Aug 7, 2025, 11:23:26 AM (6 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master, stuck-waitfor-destruct

Children:

1bd2bff

Parents:

f0daaeb

Message:

restructure forall clauses for dlist

(No files)