Skip to content
Snippets Groups Projects
Commit 93f6820a authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[WP] Changelog: -wp-run-all-provers

parent ef324514
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/Changelog
+ 2
− 0
View file @ 93f6820a
......@@ -20,6 +20,8 @@
# <Prover>: prover
###############################################################################
- WP [2019/12/04] Added option -wp-run-all-provers
##########################
Plugin WP 20.0 (Calcium)
##########################
......
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