diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-12-17 09:28:51 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-12-17 09:28:51 +0000 |
| commit | eac93d6efeba68d9da95f01e10cd859eef6d85dd (patch) | |
| tree | c981d1ec7cc5e2155c3a2fb54b70d3e801577d2a /AUTHORS | |
| parent | a0be433fec792216ac5d9af68ec1fea6c21c7c1d (diff) | |
* Use the right `make'.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions