tree 6bbce204d82eb5e79d4186c7a7743dfdbb2c955c
parent d09d52bdfa80995115134b338e7fe00140100813
author Davide Pesavento <davidepesa@gmail.com> 1677199222 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1677199222 -0500

docs: update several URLs to point to docs.named-data.net

Change-Id: If000753573c6a50130dc3101a411b6d482ccf3ed