diff options
| author | David Aspinall | 2012-09-04 10:00:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-09-04 10:00:45 +0000 |
| commit | 5de12ad3a052d648454fbf1989c903a0bc0a1ccd (patch) | |
| tree | 5f87f1139e05ca39fa7babe1e0b5913489820bf0 /REGISTER | |
| parent | 0a795598a3d6a86b872da5b6ed30de75f7dc166b (diff) | |
Disable HOL Light support for release version
Diffstat (limited to 'REGISTER')
0 files changed, 0 insertions, 0 deletions