diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-01-15 20:06:00 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-01-15 20:06:00 -0500 |
commit | 24796b700bb497897bdcd2671c1083f0c462906a (patch) | |
tree | 8b4d4ac8798b24270d3e4f3af6a93592659bb7e6 /tests/vlad4.ur | |
parent | 379843b4a2e92fed85903a77131d5eeeb717d85b (diff) |
Use -debug flag properly when compiling in single-source mode
Diffstat (limited to 'tests/vlad4.ur')
0 files changed, 0 insertions, 0 deletions