Actions
Task #3729
closed
Do not update if minindn has already been installed before
Start date:
08/09/2016
Due date:
% Done:
100%
Estimated time:
Description
Currently sudo apt-get update is called unnecessarily every time one tries to install mini-ndn.
Updated by
Actions