diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-24 10:02:48 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-24 10:02:48 -0500 |
| commit | 07d56b08d87a7453fcd5b192532fcceac86c27cc (patch) | |
| tree | dc52de3d21f2f622545e1a955a42aff636665da2 /tests/jsuni.urs | |
| parent | 53c60e510b1f818cdb0ef7f5456c35e67a431f25 (diff) | |
-tc flag
Diffstat (limited to 'tests/jsuni.urs')
0 files changed, 0 insertions, 0 deletions