On Sat, Jun 26, 2021 at 11:42:25AM +0200, Massimiliano Gubinelli wrote: > I guess there should be other reserved character in the Windows shell which > could cause problems. I would recommend to keep the quotes, unless there is a > problem.
With the quotes, the hyperlinks don't work, so we removed them. --Joris _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev