tree 18e68084baa53d4eef851a13533305c9d1ae73a5
parent ec74676176eb54d38c80a2cc9b92547931dcb466
author Davide Pesavento <davidepesa@gmail.com> 1593224184 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1593580375 -0400

Refresh and improve the "named data" HTML theme

Change-Id: I40402cfef15e6495454f846fcf2c5772412ed5db