summaryrefslogtreecommitdiff
path: root/minrisk/minrisk_generate_input.pl
diff options
context:
space:
mode:
authorVictor Chahuneau <vchahune@cs.cmu.edu>2012-09-06 16:44:53 +0100
committerVictor Chahuneau <vchahune@cs.cmu.edu>2012-09-06 16:44:53 +0100
commitc1b77250f656c4cff9f0e532d6b6644cb0dc993c (patch)
tree93711d64a442124ca441e61d64b75b861c517120 /minrisk/minrisk_generate_input.pl
parentfe9577d0ec51b7a5136d23885742780ca7f9ba8c (diff)
[cdec.sa] Fix API to make everyone happy
Diffstat (limited to 'minrisk/minrisk_generate_input.pl')
0 files changed, 0 insertions, 0 deletions