diff options
author | 2015-05-14 13:11:18 -0400 | |
---|---|---|
committer | 2015-05-14 13:11:18 -0400 | |
commit | 5445c78ce13fab97df3d34fdbd40fd80855aa3d9 (patch) | |
tree | 1e2b05383ee079867e60a3c123fdd84e60175264 /Makefile | |
parent | ce8b2d307fc2a4f024bb5a319757ecfbc3c46207 (diff) |
more formal spec
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions