diff options
author | pmichaud <pmichaud@pobox.com> | 2012-08-28 01:10:12 -0500 |
---|---|---|
committer | pmichaud <pmichaud@pobox.com> | 2012-08-28 01:10:12 -0500 |
commit | 9f56672077998c65f02804983a291114920a27e8 (patch) | |
tree | a250b8f92e3be4a4cf5d25a0629cf201e88d8c85 | |
parent | 048c88e49b8f1f7bd5eb58cf43defba6c21da28b (diff) |
Move star-level Makefile out of the way.
-rw-r--r-- | tools/star/Makefile.old (renamed from Makefile) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Makefile b/tools/star/Makefile.old index 9dd42ba..9dd42ba 100644 --- a/Makefile +++ b/tools/star/Makefile.old |