agw/overleaf-cep
1
0
Fork 0
mirror of https://github.com/yu-i-i/overleaf-cep.git synced 2026-05-23 17:19:37 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
cedc5f2e2ec3f07ccfd436369f39136927bc4770
overleaf-cep/services/web/config
History
Copilot 27aac33259 Add .lean, .lean4, and .hs as editable/viewable file types (#31716) 
GitOrigin-RevId: c3ee7592d0a1096ac96ca9514579c559d028b840
2026-03-09 09:05:48 +00:00
..
settings.defaults.js
Add .lean, .lean4, and .hs as editable/viewable file types (#31716)
2026-03-09 09:05:48 +00:00