Has anyone seen an issue in the latest extension tools where override files are not compiled in the css, even though they are in the manifest?
t
texmc
06/19/2024, 7:48 PM
There's been a lot of issues recently with extension tools but its been stable for me for a few weeks after upgrading to the latest and reinstalling all the tools.
Other users are still posting errors every couple of days...