diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-10-10 14:01:19 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-10-10 14:01:19 -0400 |
| commit | b48ce374b66b0bf243aa54aca91b8de3cba4cfc9 (patch) | |
| tree | cf994a8f65ee324c8e05b2b54cb448d4a06973b0 /lib/ur/basis.urs | |
| parent | 104483a7b57d4f236899c8f2838ad9c804eb0f55 (diff) | |
Manual entries for -ccompiler and -print-ccompiler
Diffstat (limited to 'lib/ur/basis.urs')
0 files changed, 0 insertions, 0 deletions