Skip to content
Snippets Groups Projects
Commit 526e0456 authored by Bernd Flemisch's avatar Bernd Flemisch
Browse files

[docu] add a script that checks if runtime parameters have been added or

deleted

The script should be run and acted upon before every release. This has
been added to the release manager's tasks.

Reviewed by Thomas.



git-svn-id: svn://svn.iws.uni-stuttgart.de/DUMUX/dumux/trunk@14063 2fb0f335-1f38-0410-981e-8018bf24f1b0
parent a1f925d4
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment