FM / pool

/usr/include/boost/pool

Name	Size	Mode	Actions
detail/	-	0755	rm
object_pool.hpp	11167	0644	edit dl rm
pool.hpp	36539	0644	edit dl rm
poolfwd.hpp	1967	0644	edit dl rm
pool_alloc.hpp	18315	0644	edit dl rm
simple_segregated_storage.hpp	13112	0644	edit dl rm
singleton_pool.hpp	9941	0644	edit dl rm

Delete pool.hpp ?

cmd: