diff options
| author | Michael Soegtrop | 2021-01-13 21:36:07 +0100 |
|---|---|---|
| committer | Michael Soegtrop | 2021-01-13 21:36:07 +0100 |
| commit | b8a3ebaa9695596f062298f5913ae4f4debb0124 (patch) | |
| tree | 072e700bdb5b5470ac2b9e40b19b0717b646812d /printing/printer.ml | |
| parent | 223843c2cda13c9646c123dc19b4af1983d88561 (diff) | |
| parent | d784ac437a3924324f88f1e06e398d326f847ab4 (diff) | |
Merge PR #13740: [osx] macpack also coqidetop (for libgmp)
Reviewed-by: MSoegtropIMC
Diffstat (limited to 'printing/printer.ml')
0 files changed, 0 insertions, 0 deletions