Timestamp:
Sep 18, 2021, 7:22:51 AM (19 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum
Children:
6aa84e0
Parents:
4d8fbf4
Message:

fix Makefile for .pstex files

File:
1 added

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