diff options
| author |  Sergey Mironov <grrwlf@gmail.com> | 2013-09-18 15:45:18 +0400 |
|---|---|---|
| committer | Sergey Mironov <grrwlf@gmail.com> | 2013-09-18 15:45:18 +0400 |
| commit | 774af1179ef64496a266af9f6f018d5ed234488f (patch) | |
| tree | df41ece35df2626f6ace9e327a38e452994d8104 /lib/ur/basis.urs | |
| parent | 02deb1923a33e697938c7e7f8da2228259f6b620 (diff) | |
Add -print-ccompiler command line option
Diffstat (limited to 'lib/ur/basis.urs')
0 files changed, 0 insertions, 0 deletions