diff options
| author | Shaked Flur | 2019-04-17 14:26:35 +0100 |
|---|---|---|
| committer | Shaked Flur | 2019-04-17 14:26:35 +0100 |
| commit | 52c6edef48da7c3ece39ec78d8925fba8c1bb62d (patch) | |
| tree | e955d75c90a5cc5b19423605c184d4a191f9ab14 /lib/hol | |
| parent | f091479ccfbe7861cd0620cef414887ccfe65090 (diff) | |
Allow libsail to be installed without the other things (for rmem)
Diffstat (limited to 'lib/hol')
0 files changed, 0 insertions, 0 deletions