aboutsummaryrefslogblamecommitdiff
path: root/math/proofgeneral/files/patch-Makefile
blob: 2de740aac490d438c814840e7ea8354a921f1dbd (plain) (tree)
1
2
3
4
5
6
7