diff options
| author | Marcelo Araujo <araujo@FreeBSD.org> | 2010-10-30 17:12:36 +0000 |
|---|---|---|
| committer | Marcelo Araujo <araujo@FreeBSD.org> | 2010-10-30 17:12:36 +0000 |
| commit | 78cbea96d3796ed60196835899bd6365134dd815 (patch) | |
| tree | c4dfd1faa47cd86cc0d2c626dbf568d6b143e322 /math/isabelle/files/patch-etc-settings | |
| parent | - Add an option ENABLE_CORES to enable coredumps (default off) (diff) | |
- Update to 5.9.16.
Diffstat (limited to 'math/isabelle/files/patch-etc-settings')
0 files changed, 0 insertions, 0 deletions