Skip to content

git: Ignore *.semanticdb

Clément Pit-Claudel requested to merge cpc/gitignore into main

@vairoli This is created by using SBT as the BSP server. Do we need to propagate this change elsewhere?

Merge request reports