Skip to content

Commit 82efa61

Browse files
ckipp01Kordyjan
authored andcommitted
chore: remove unused semanticdb directory
From looking back it seems that what this directory used to contain was removed in bd2f8a6, however the directory still remained. This PR just removes the leftover `build.properties`, which keeps getting updated, but does nothing. [Cherry-picked 0a9ebdd]
1 parent 5055b26 commit 82efa61

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

semanticdb/project/build.properties

Lines changed: 0 additions & 1 deletion
This file was deleted.

0 commit comments

Comments
 (0)