diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-01-01 10:49:42 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-01-01 10:49:42 -0500 |
commit | fdcba593de74be15f49d299084829613dda90463 (patch) | |
tree | 153e0b43138171ab20f686aff9c6612f62729f4a /demo/sum.urs | |
parent | 5f375b7ae7be0270205c495adfeb209983b882e1 (diff) |
Used an option as a source
Diffstat (limited to 'demo/sum.urs')
0 files changed, 0 insertions, 0 deletions