diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-12 10:08:39 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-12 10:11:06 -0500 |
commit | b7557e5f0c634a5421a705715361ec3d1e0a2ffc (patch) | |
tree | 70b5cd30879582e1e2a66a05a806c5e64df7636d /contrib/alttheoryskel/Makefile | |
parent | 3e8490e19b90e57decbfb380001407bcc7d84ca4 (diff) |
Minor build system cleanup
Diffstat (limited to 'contrib/alttheoryskel/Makefile')
0 files changed, 0 insertions, 0 deletions