summaryrefslogtreecommitdiff
path: root/demo/more/conference.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-11-01 10:31:18 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-11-01 10:31:18 -0500
commit7aaaa9a22a7eede386cda3cfbb3fc906619415d9 (patch)
treed8d775ea0314382cc9e5a04b0c292d63bf4a7ad8 /demo/more/conference.urs
parente20e964083a048ad4cbb88cc1af3790694f51dfa (diff)
Optimizing str1 in MonoOpt
Diffstat (limited to 'demo/more/conference.urs')
0 files changed, 0 insertions, 0 deletions