Skip to content
Snippets Groups Projects
Commit 1665ce42 authored by Henrik Tjäder's avatar Henrik Tjäder
Browse files

Remove klee-replay feature

parent 7b9f66d0
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 0 additions and 1 deletion
.vim/coc-settings.json
+ 0
− 1
View file @ 1665ce42
{
"rust-analyzer.cargo.features": ["klee-replay"],
"languageserver": {
"clangd": {
"command": "clangd",
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment