Fix cherry-pick
authorAdrian Bondrescu <adi.bondrescu@gmail.com>
Fri, 1 Jun 2012 02:10:11 +0000 (05:10 +0300)
committerRazvan Deaconescu <razvan.deaconescu@cs.pub.ro>
Mon, 18 Mar 2013 16:26:51 +0000 (18:26 +0200)
commit5d690fef4ebea52e5bfc1560c945e86c0dbbb946
tree8395a816480156ef3316aaa999f2ef18684d5047
parent5ddb1215a7b43bad32876d89e57108584f3b462b
Fix cherry-pick
src/kernel/mptp.h [new file with mode: 0644]
src/kernel/swift.c