diff options
author | 2013-09-18 15:45:18 +0400 | |
---|---|---|
committer | 2013-09-18 15:45:18 +0400 | |
commit | 950761f1b200c658f9c20f8a9128a46027f0a227 (patch) | |
tree | df41ece35df2626f6ace9e327a38e452994d8104 /lib/ur/basis.urs | |
parent | 4b6ba24685efdbfafa35540100f3fd5f19a7a801 (diff) |
Add -print-ccompiler command line option
Diffstat (limited to 'lib/ur/basis.urs')
0 files changed, 0 insertions, 0 deletions