session: use pool for segment manager properties
[vpp.git] / build-root / config.site
2015-12-08 Ed WarnickeInitial commit of vpp code. 23/23/3