diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-02-28 07:03:33 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-02-28 07:03:33 +0000 |
commit | 9e164f1af5d2bd6f13eb894c8d395c7155590877 (patch) | |
tree | f5e8658db62b50b447fbc18590570501e57129d5 /.cproject | |
parent | bda6ad1b93619a68006034d9a47e641ce5ab14a7 (diff) |
Review of mktheorytraits, mkrewriter, and recent changes to other mk* scripts. Minor changes only, correcting some documentation and fixing some warnings that were being issued about functions not existing.
Diffstat (limited to '.cproject')
0 files changed, 0 insertions, 0 deletions