On 12/5/20 3:11 PM, Yuriy Skalko wrote: > This is significantly better than browsing code on GitHub directly: > https://sourcegraph.com/github.com/cburschka/lyx
Who runs that site? Does it only do this for github or other sites, too? Riki -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel