summaryrefslogtreecommitdiff
path: root/src/setu/Makefile.am
AgeCommit message (Expand)Author
2020-09-06-fix make distMartin Schanzenbach
2020-08-16split of set union from set service (preliminary)Christian Grothoff