diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-05-01T13·21+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-05-01T13·21+0000 |
| commit | 644946feed146396c00c288337bad26428970aa4 (patch) | |
| tree | b371fb4eacd5edf3c30761fd236712ffd7b70828 /externals/Makefile.am | |
| parent | bd1f66453a7a1900f9fa850a7052b3fbe3e26933 (diff) | |
* Make --verify more interruptable.
Diffstat (limited to 'externals/Makefile.am')
0 files changed, 0 insertions, 0 deletions