search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Ignore files related to ccls language server #703

Closed Tomaqa closed 6 months ago

Tomaqa commented 6 months ago

I use for example in VS Codium. It is an alternative to for example clang server. It is possible that someone do not want to use GCC... We can either ignore this, or add the conf. file and at the same time add it to .gitignore so anyone can freely update the file on local machine.