Skip to content
Snippets Groups Projects
Verified Commit b1bc1075 authored by Petr Špaček's avatar Petr Špaček Committed by Vladimír Čunát
Browse files

cache.clear(): display apex name if needed

Error message is now contains apex name and advice how to clear negative
proofs.
parent 6a8e28b8
Branches
Tags
1 merge request!633lua: resurrect cache.clear('name')
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment