sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

Fixed indentation

main
Matthias Volk 8 years ago
parent
ebc3f61b82
commit
2d8cc1681c
1 changed files with 2 additions and 2 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 4
      doc/checklist_new_release.md

4
doc/checklist_new_release.md
View File

@ -8,8 +8,8 @@ Note that in most case a simultaneous release of [carl](https://github.com/smtra
``` ```
2. Update used carl version: 2. Update used carl version:
* Update `GIT_TAG` in `resources/3rdparty/carl/CMakeLists.txt`
* Maybe update `CARL_MINVERSION` in `resources/3rdparty/CMakeLists.txt`
* Update `GIT_TAG` in `resources/3rdparty/carl/CMakeLists.txt`
* Maybe update `CARL_MINVERSION` in `resources/3rdparty/CMakeLists.txt`
3. Check that storm builds without errors and all tests are successful 3. Check that storm builds without errors and all tests are successful
* [Travis](https://travis-ci.org/moves-rwth/storm) should run successfully * [Travis](https://travis-ci.org/moves-rwth/storm) should run successfully

Write Preview
Loading…
Cancel
Save