socket API: Use pool index instead of handle in sock_delete handler
[vpp.git] / build-root / platforms.mk
2015-12-08 Ed WarnickeInitial commit of vpp code. 23/23/3