Hi all,

tug.org provides a search box atop the private view of the archives that farms out queries to DuckDuckGo, e.g. searching "gliss" searches DuckDuckGo for "gliss site:tug.org/pipermail/TeX-Music."

The problem is that this never turns up results — seems that tug.org/pipermail/TeX-Music doesn't exist. How should one go about fixing this (or working around it)?

Thanks —
Kalvin

-------------------------------
[email protected] mailing list
If you want to unsubscribe or look at the archives, go to 
https://tug.org/mailman/listinfo/tex-music

Reply via email to