tree fff510046b47aee6e31997f4b3bf8fb4d0d9a00b
parent 981db808cb37e0bf95d86c721f1dbcd9bc1bdf5c
author Davide Pesavento <davide.pesavento@lip6.fr> 1523504631 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1523557420 -0400

core: drop std::function and ndn::Exclude from common.hpp, add ndn::optional

Change-Id: Ie3983d8b6f9929430efd8ada8d942e3f95755cd4