Skip to content

Commit

Permalink
Merge pull request #589 from davideschiavone/fix586
Browse files Browse the repository at this point in the history 
Update tracer to dump cv. instead of p. or pv. for custom extensions
  • Loading branch information
@davideschiavone
davideschiavone authored Dec 8, 2020
2 parents 6fa3545 + 7e404eb commit 120ac3e
Showing 1 changed file with 137 additions and 138 deletions.
Loading

0 comments on commit 120ac3e

Please sign in to comment.