summaryrefslogtreecommitdiff
path: root/demo/rec.urp
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-01-05 19:23:34 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2012-01-05 19:23:34 -0500
commitcaf4866385c67ac32b65daf48c8a8f7e2c859046 (patch)
tree616430c12cc382a66560653ac06c92e6e9ef71af /demo/rec.urp
parenta86d650aac1d3dca4444bd265dca563d1ed9e8e8 (diff)
Change linking argument order, based on reported problems in Ubuntu 11.10
Diffstat (limited to 'demo/rec.urp')
0 files changed, 0 insertions, 0 deletions