diff options
| author | Frank Wuerthwein <fkw@ucsd.edu> | 2009-02-20 03:59:32 +0000 |
|---|---|---|
| committer | Frank Wuerthwein <fkw@ucsd.edu> | 2009-02-20 03:59:32 +0000 |
| commit | 73ddf7698ed8a4b8adbc87c4dce750c7d959aa02 (patch) | |
| tree | a04a78ec3982327eba5778d5172093085028eae8 /doc/INSTALL.txt | |
| parent | 352f0130b5d50591c8445ab100a8dabcd4de54f4 (diff) | |
Add costumizable legend
Diffstat (limited to 'doc/INSTALL.txt')
0 files changed, 0 insertions, 0 deletions