aboutsummaryrefslogblamecommitdiff
path: root/math/open-axiom/Makefile
blob: 1d34692b31e59bae40bfead06f767d31cb94fe5a (plain) (tree)
1
2
3
4
5
6
7
8
9