more dir locals for company-coq#1724

affeldt-aist merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:dirlocals_20250923affeldt-aist/analysis:dirlocals_20250923Copy head branch name to clipboard