Timestamp:
Aug 10, 2024, 10:26:43 AM (3 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master
Children:
6abb6dc
Parents:
af5baae
Message:

add better error message for an empty enumeration, i.e., no enumerators.

(No files)

Note: See TracChangeset for help on using the changeset viewer.