summaryrefslogtreecommitdiff
path: root/pro/pro.pl
diff options
context:
space:
mode:
authorChris Dyer <cdyer@cs.cmu.edu>2012-11-17 17:46:06 -0500
committerChris Dyer <cdyer@cs.cmu.edu>2012-11-17 17:46:06 -0500
commitc401956e25295bdb97dd633817ff9a4f1dcf8c4c (patch)
tree11200380cbd4f7d46cadf4fcda6eae77aa73527b /pro/pro.pl
parent2f482858e63dc7f62ac3be5b7ed7e0644b63353e (diff)
remove some old stuff
Diffstat (limited to 'pro/pro.pl')
0 files changed, 0 insertions, 0 deletions