diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-01-02 12:42:39 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-01-02 12:42:39 -0500 |
commit | 5b54ae6f4d5896428cdab7b213471498fa8a0b8a (patch) | |
tree | 42dbcf05c7ae235d9893ff850e55d098f2e16a08 /tests/rec.urp | |
parent | 36e59f6512af87c02ba856372d71a6a47e9045fd (diff) |
Injected a record
Diffstat (limited to 'tests/rec.urp')
0 files changed, 0 insertions, 0 deletions