Timestamp:
Jan 13, 2022, 9:50:41 PM (6 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
enum, forall-pointer-decay, master
Children:
9ee3f54
Parents:
75965a6
Message:

simplify IO statement

(No files)

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