diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-08-06 09:57:47 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-08-06 09:57:47 -0400 |
| commit | f30aebaed989fbb42859e303d5e31a2c9afeb9fd (patch) | |
| tree | cf3922c7f6916c9b08f11a358aee2a46824e355b /LICENSE | |
| parent | 5fb4f6c39c6ced6da3fd4740fa276bbba35e28d4 (diff) | |
Change 'make test' to work before 'make install'
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions