diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-02-14T14·56+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-02-14T14·56+0000 |
| commit | c3cee5395bec0dd9db3fb60662a170ebb7453ee1 (patch) | |
| tree | 74f7fe5740f1a34dc01f67228e47a7b71ff0c629 /misc | |
| parent | 8fcaf3e9c6d820175d124be0af06c481104222a1 (diff) | |
* Build for Ubuntu 10.04.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions