diff options
author | Alberto Ruiz <aruiz@um.es> | 2012-03-18 12:33:17 +0100 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2012-03-18 12:33:17 +0100 |
commit | 1a6d3168d0182b868ac3a87ab69a88f22e03b836 (patch) | |
tree | f7565da5057a3f00bad57ddbb51fae443d7c8f3b /Setup.lhs | |
parent | a53bfb617e739627e133c13db42059ec71949160 (diff) |
change construction operators
Diffstat (limited to 'Setup.lhs')
0 files changed, 0 insertions, 0 deletions