remove fun from nav-list 2
authorGreg Farough <gregf@gnu.org>
Thu, 3 Aug 2023 17:46:12 +0000 (13:46 -0400)
committerGreg Farough <gregf@gnu.org>
Thu, 3 Aug 2023 17:46:12 +0000 (13:46 -0400)
commit78d9221e22b0f0349d52b01029f809b21dacfd2a
tree0c83a1c33caecadb8401840767ca862174474b00
parentd736ba4b0f1cd6185e957c13faf007385b76d8ae
remove fun from nav-list 2
2024/includes/nav-list-2.html