ldc-startcoq/jsconfig.json

{
  "include": ["./resources/js/**/*"]
}